Author： Cignoli R. Mundici D.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.58, Iss.1, 1997-01, pp. : 79-97
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
Tableaux for Łukasiewicz Infinite-valued Logic
By Olivetti N.
Studia Logica, Vol. 73, Iss. 1, 2003-02 ,pp. :
Access to resources
Recommend
Lukasiewicz's Many-valued Logic and Neoplatonic Scalar Modality
By Martin J.N.
History and Philosophy of Logic, Vol. 23, Iss. 2, 2002-06 ,pp. :
Proof Nets for the Multimodal Lambek Calculus
Studia Logica, Vol. 71, Iss. 3, 2002-08 ,pp. :
A Completeness Proof for a Logic with an Alternative Necessity Operator
By demri S.
Studia Logica, Vol. 58, Iss. 1, 1997-01 ,pp. :
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. :