Classical logic, intuitionistic logic, and the Peirce rule
Notre Dame Journal of Formal Logic 33 (2):229-235 (1992)
| Abstract | A simple method is provided for translating proofs in Grentzen's LK into proofs in Gentzen's LJ with the Peirce rule adjoined. A consequence is a simpler cut elimination operator for LJ + Peirce that is primitive recursive. | |||||||||
| Keywords | Classical logic Intuitionistic logic The Peirce Rule | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesNeil Tennant (1989). Truth Table Logic, with a Survey of Embeddability Results. Notre Dame Journal of Formal Logic 30 (3):459-484.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Fan Yang (2013). Expressing Second-Order Sentences in Intuitionistic Dependence Logic. Studia Logica 101 (2):323-342.
Torben Braüner (2006). Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information 15 (3).
Maarten De Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3).
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Robert Lane (1999). Peirce’s Triadic Logic Revisited. Transactions of the Charles S. Peirce Society 35 (2):284 - 311.
John P. Burgess (2009). Philosophical Logic. Princeton University Press.
Pilar Castrillo (2002). La Implicacion y la Filosofia de la Logica en Peirce. Theoria 17 (3):517-539.
Peter Roeper & Hugues Leblanc (1999). Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28 (3):223-234.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads39 ( #29,795 of 549,068 )Recent downloads (6 months)3 ( #25,703 of 549,068 )How can I increase my downloads? |
My notes
Discussion
