Admissibility of structural rules for contraction-free systems of intuitionistic logic
Journal of Symbolic Logic 65 (4):1499-1518 (2000)
| Abstract | We give a direct proof of admissibility of cut and contraction for the contraction-free sequent calculus G4ip for intuitionistic propositional logic and for a corresponding multi-succedent calculus: this proof extends easily in the presence of quantifiers, in contrast to other, indirect, proofs. i.e., those which use induction on sequent weight or appeal to admissibility of rules in other calculi | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAndreja Prijatelj (1995). Connectification Forn-Contraction. Studia Logica 54 (2):149 - 171.
Sara Negri & Jan Von Plato (1998). Cut Elimination in the Presence of Axioms. Bulletin of Symbolic Logic 4 (4):418-435.
Roy Dyckhoff & Luis Pinto (1998). Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. Studia Logica 60 (1):107-118.
Vladimir V. Rybakov (1992). Rules of Inference with Parameters for Intuitionistic Logic. Journal of Symbolic Logic 57 (3):912-923.
Eiji Kiriyama & Hlroakira Ono (1991). The Contraction Rule and Decision Problems for Logics Without Structural Rules. Studia Logica 50 (2):299 - 319.
Roy Dyckhoff (1992). Contraction-Free Sequent Calculi for Intuitionistic Logic. Journal of Symbolic Logic 57 (3):795-807.
Brian Hill & Francesca Poggiolesi (2010). A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic. Studia Logica 94 (1).
Lloyd Humberstone (2007). Investigations Into a Left-Structural Right-Substructural Sequent Calculus. Journal of Logic, Language and Information 16 (2).
Andreja Prijatelj (1992). Lambek Calculus with Restricted Contraction and Expansion. Studia Logica 51 (1):125 - 143.
Rosalie Iemhoff (2001). On the Admissible Rules of Intuitionistic Propositional Logic. Journal of Symbolic Logic 66 (1):281-294.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #123,092 of 549,070 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
