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

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

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω

By Zach Richard  

Journal of Philosophical Logic, Vol. 33, Iss. 2, 2004-04 ,pp. : 155-164

Springer Publishing Company

Access to resources Recommend Favorite

Intuitionistic Logic As Epistemic Logic

By Hintikka J.  

Synthese, Vol. 127, Iss. 1-2, 2001-04 ,pp. : 7-19

Springer Publishing Company

Access to resources Recommend Favorite