New Intuitionistic Logical Constants and Novikov Completeness

ISSN： 0039-3215

Source： Studia Logica, Vol.63, Iss.2, 1999-09, pp. : 151-180

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness

By Yashin A.D.

Journal of Philosophical Logic, Vol. 28, Iss. 2, 1999-04 ,pp. : 175-197

Springer Publishing Company

Access to resources Recommend Favorite

Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants

By Díez G.F.

Journal of Philosophical Logic, Vol. 29, Iss. 4, 2000-08 ,pp. : 409-424

Springer Publishing Company

Access to resources Recommend Favorite

An Intuitionistic Completeness Theorem for Classical Predicate Logic

By Krivtsov Victor

Studia Logica, Vol. 96, Iss. 1, 2010-10 ,pp. : 109-115

Springer Publishing Company

Access to resources Recommend Favorite

Halldén-Completeness in Super-Intuitionistic Predicate Logics

By Suzuki N-Y.

Studia Logica, Vol. 73, Iss. 1, 2003-02 ,pp. : 113-130

Springer Publishing Company

Access to resources Recommend Favorite

Implicational Paradoxes and the Meaning of Logical Constants

By Paoli Francesco

Australasian Journal of Philosophy, Vol. 85, Iss. 4, 2007-12 ,pp. : 553-579

Routledge Ltd

Access to resources Recommend Favorite