Author： Nolt John
Publisher： Springer Publishing Company
ISSN： 0925-8531
Source： Journal of Logic, Language and Information, Vol.16, Iss.1, 2007-01, pp. : 91-115
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
Statistics of Intuitionistic versus Classical Logics
By Kostrzycka Zofia Zaionc Marek
Studia Logica, Vol. 76, Iss. 3, 2004-04 ,pp. :
Access to resources
Recommend
Glivenko Type Theorems for Intuitionistic Modal Logics
Studia Logica, Vol. 67, Iss. 1, 2001-02 ,pp. :
Halldén-Completeness in Super-Intuitionistic Predicate Logics
By Suzuki N-Y.
Studia Logica, Vol. 73, Iss. 1, 2003-02 ,pp. :
Quantum Logic in Intuitionistic Perspective
By Coecke B.
Studia Logica, Vol. 70, Iss. 3, 2002-04 ,pp. :
Cut-Free Tableau Calculi for some Intuitionistic Modal Logics
By Ferrari M.
Studia Logica, Vol. 59, Iss. 3, 1997-11 ,pp. :