Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness

ISSN： 0022-3611

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

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

New Intuitionistic Logical Constants and Novikov Completeness

By Yashin Alexander

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

Springer Publishing Company

Access to resources Recommend Favorite

Absolute Probability Functions for Intuitionistic Propositional Logic

By Roeper P. Leblanc H.

Journal of Philosophical Logic, Vol. 28, Iss. 3, 1999-06 ,pp. : 223-234

Springer Publishing Company

Access to resources Recommend Favorite

On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion

By Adillon R.J. Verdú V.

Studia Logica, Vol. 65, Iss. 1, 2000-06 ,pp. : 11-30

Springer Publishing Company

Access to resources Recommend Favorite

Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'

By Méndez J.M. Salto F.

Studia Logica, Vol. 66, Iss. 3, 2000-12 ,pp. : 409-418

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