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

Author： Ferrari Mauro

Publisher： Springer Publishing Company

ISSN： 0168-7433

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

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

Terminating Calculi for Propositional Dummett Logic with Subformula Property

By Fiorino Guido

Journal of Automated Reasoning, Vol. 52, Iss. 1, 2014-01 ,pp. : 67-97

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

Permutability of proofs in intuitionistic sequent calculi

By Dyckhoff R. Pinto L.

Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. : 141-155

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

From multiple sequent for additive linear logic to decision procedures for free lattices

By Marion J.-Y.

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 157-172

Elsevier

Access to resources Recommend Favorite