Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs

ISSN： 0039-3215

Source： Studia Logica, Vol.64, Iss.3, 2000-03, pp. : 315-321

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

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

Unifying Quantified Modal Logic

By Garson James

Journal of Philosophical Logic, Vol. 34, Iss. 5-6, 2005-10 ,pp. : 621-649

Springer Publishing Company

Access to resources Recommend Favorite

Reasoning Processes in Propositional Logic

By Strannegård Claes

Journal of Logic, Language and Information, Vol. 19, Iss. 3, 2010-07 ,pp. : 283-314

Springer Publishing Company

Access to resources Recommend Favorite

Propositional Logic of Essence

By Correia F.

Journal of Philosophical Logic, Vol. 29, Iss. 3, 2000-06 ,pp. : 295-313

Springer Publishing Company

Access to resources Recommend Favorite

The Undecidability of Propositional Adaptive Logic

By Horsten Leon Welch Philip

Synthese, Vol. 158, Iss. 1, 2007-09 ,pp. : 41-60

Springer Publishing Company

Access to resources Recommend Favorite