Logic Journal of the IGPL 6 (1):43-48 (1998)
A formula A is said to have the contraction property in a logic L if whenever A, A, Γ ⊨ L B also A, Γ & ; L B. In MLL and in MALL without the additive constants a formula has the contraction property if it is a theorem. Adding the mix rule does not change this fact. In MALL and in affine logic A has the contraction property if either A is provable of A is equivalent to the additive constant 0. We present some general proof-theoretical principles from which all these results easily follow
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
The Concept of Contraction in Giordano Bruno's Philosophy.Leo Catana - 2005 - Ashgate.
Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.
Bounded Contraction and Gentzen-Style Formulation of Łukasiewicz Logics.Andreja Prijatelj - 1996 - Studia Logica 57 (2-3):437 - 456.
Added to index2009-04-13
Total downloads5 ( #593,505 of 2,158,458 )
Recent downloads (6 months)1 ( #354,692 of 2,158,458 )
How can I increase my downloads?