Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

By Ferrari Mauro  

Journal of Automated Reasoning, Vol. 51, Iss. 2, 2013-08 ,pp. : 129-149

Springer Publishing Company

Access to resources Recommend Favorite

A proper hierarchy of propositional sequent calculi

By Arai N.H.  

Theoretical Computer Science, Vol. 159, Iss. 2, 1996-06 ,pp. : 343-354

Elsevier

Access to resources Recommend Favorite

Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

By Polakow J.   Pfenning F.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Termination of permutative conversions in intuitionistic Gentzen calculi

By Schwichtenberg H.  

Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. : 247-260

Elsevier

Access to resources Recommend Favorite

Encoding transition systems in sequent calculus

By McDowell R.   Miller D.   Palamidessi C.  

Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. : 411-437

Elsevier

Access to resources Recommend Favorite