Studia Logica 52 (1):113 - 142 (1993)
This essay demonstrates proof-theoretically the consistency of a type-free theoryC with an unrestricted principle of comprehension and based on a predicate logic in which contraction (A (A B)) (A B), although it cannot holds in general, is provable for a wide range ofA's.C is presented as an axiomatic theoryCH (with a natural-deduction equivalentCS) as a finitary system, without formulas of infinite length. ThenCH is proved simply consistent by passing to a Gentzen-style natural-deduction systemCG that allows countably infinite conjunctions and in which all theorems ofCH are provable.CG is seen to be a consistent by a normalization argument. It also shown that in a senseC is highly non-extensional.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
A Note on Natural Deduction in Many-Valued Logic.Bruce White - 1974 - Notre Dame Journal of Formal Logic 15 (1):167-168.
Citations of this work BETA
A Linear Conservative Extension of Zermelo-Fraenkel Set Theory.Masaru Shirahata - 1996 - Studia Logica 56 (3):361 - 392.
Similar books and articles
Bounded Contraction and Gentzen-Style Formulation of Łukasiewicz Logics.Andreja Prijatelj - 1996 - Studia Logica 57 (2-3):437 - 456.
Formulas for Which Contraction is Admissible.A. Avron - 1998 - Logic Journal of the IGPL 6 (1):43-48.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.
On the Logic of Theory Change: Safe Contraction.Carlos E. Alchourrón & David Makinson - 1985 - Studia Logica 44 (4):405 - 422.
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction.Uwe Petersen - 2000 - Studia Logica 64 (3):365-403.
A Note on Partial Meet Package Contraction.Jun Li - 1998 - Journal of Logic, Language and Information 7 (2):139-142.
Added to index2009-01-28
Total downloads20 ( #248,561 of 2,171,994 )
Recent downloads (6 months)1 ( #326,556 of 2,171,994 )
How can I increase my downloads?