Formulas for which Contraction is Admissible
Graduate studies at Western
|Abstract||A formula A is said to have the contraction property in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a formula has the contractionproperty i it is a theorem. Adding the mix rule does not change this fact. In MALL (with or without mix) and in a ne logic A has the contraction property i either A is provable or A is equivalent to the additive constant 0. We present some general proof-theoretical principles from which all these results (and others) easily follow|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Sven Ove Hansson (2010). Multiple and Iterated Contraction Reduced to Single-Step Single-Sentence Contraction. Synthese 173 (2):153 - 177.
Sven Ove Hansson (1994). Kernel Contraction. Journal of Symbolic Logic 59 (3):845-859.
André Fuhrmann & Sven Ove Hansson (1994). A Survey of Multiple Contractions. Journal of Logic, Language and Information 3 (1):39-75.
Mario Piazza (2001). Exchange Rules. Journal of Symbolic Logic 66 (2):509-516.
A. Avron (1998). Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening. Journal of Symbolic Logic 63 (3):831-859.
Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun (2012). Three Approaches to Iterated Belief Contraction. Journal of Philosophical Logic 41 (1):115-142.
Greg Restall (1993). How to Bereally Contraction Free. Studia Logica 52 (3):381 - 391.
Andreja Prijatelj (1996). Bounded Contraction and Gentzen-Style Formulation of Łukasiewicz Logics. Studia Logica 57 (2-3):437 - 456.
Andreja Prijatelj (1995). Connectification Forn-Contraction. Studia Logica 54 (2):149 - 171.
Sorry, there are not enough data points to plot this chart.
Added to index2009-04-13
Total downloads1 ( #292,878 of 740,907 )
Recent downloads (6 months)0
How can I increase my downloads?