Publisher： Cambridge University Press
E-ISSN： 1474-0524|20|1|105-117
ISSN： 0957-4239
Source： Arabic Sciences and Philosophy, Vol.20, Iss.1, 2010-03, pp. : 105-117
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Curry-Howard Terms for Linear Logic
By Bäuerle F.A. Albrecht D. Crossley J.N. Jeavons J.S.
Studia Logica, Vol. 61, Iss. 2, 1998-09 ,pp. :
Access to resources
Recommend
First- and Second-Order Logic of Mass Terms
By Roeper Peter
Journal of Philosophical Logic, Vol. 33, Iss. 3, 2004-06 ,pp. :
Distributive Terms, Truth, and the Port Royal Logic
History and Philosophy of Logic, Vol. 34, Iss. 2, 2013-05 ,pp. :