Journal of Symbolic Logic 72 (4):1204 - 1218 (2007)
In this paper we present two calculi for intuitionistic logic. The first one, IG, is characterized by the fact that every proof-search terminates and termination is reached without jeopardizing the subformula property. As to the second one, SIC, proof-search terminates, the subformula property is preserved and moreover proof-search is performed without any recourse to metarules, in particular there is no need to back-track. As a consequence, proof-search in the calculus SIC is accomplished by a single tree as in classical logic
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Expressing Second-Order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Intuitionistic Autoepistemic Logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Intuitionistic Mathematics Does Not Needex Falso Quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Book Review:The Logic of Scientific Discovery Karl R. Popper, Julius Freed, Lan Freed. [REVIEW]Haskell Fain - 1961 - Philosophy of Science 28 (3):319-.
Partial Isomorphisms and Intuitionistic Logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
The Effect of Griss's Criticism of the Intuitionistic Logic on Deducative Theories Formalized Within the Intuitionistic Logic.Paul C. Gilmore - 1953 - Amsterdam: Drukkerij Holland.
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Added to index2010-08-24
Total downloads15 ( #312,813 of 2,164,576 )
Recent downloads (6 months)1 ( #347,948 of 2,164,576 )
How can I increase my downloads?