Annals of Pure and Applied Logic 69 (1):73-106 (1994)
AbstractThe shriek modality \s! of linear logic performs two tasks: it restores in annotated from both weakening and contraction. We separate these tasks by introducing two modalities: for weakening and for contraction. These give rise to two logics which are “inbetween” linear and intuitionistic logic: in affine logic one always has a weakening and a for contraction and in relevant logic one always has a contraction and a weakening. The semantics of these logics is obtained from special kinds of monads, introduced by Anders Kock in the early seventies. As subtle point is how to retrieve the \s! of linear logic from and . Technically this will be achieved in terms of distributive laws—introduced by Jon Beck. We find models where one has \s! = and also models with \s! = . It will be shown that on the category of complete lattices one has comonads and with = \s!=
Added to PP
Historical graph of downloads
Similar books and articles
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Semantical Analysis of Predicate Logics Without the Contraction Rule.Hiroakira Ono - 1985 - Studia Logica 44 (2):187 - 196.
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.
The Contraction Rule and Decision Problems for Logics Without Structural Rules.Eiji Kiriyama & Hlroakira Ono - 1991 - Studia Logica 50 (2):299 - 319.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Hirokawa on Right Weakening and Right Contraction.Susan Rogerson - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 237--263.
Possible Worlds Semantics for Partial Meet Multiple Contraction.Maurício D. L. Reis & Eduardo Fermé - 2012 - Journal of Philosophical Logic 41 (1):7-28.
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Iterated Contraction Based on Indistinguishability.Konstantinos Georgatos - 2013 - In Sergei Artemov & Anil Nerode (eds.), LFCS 2013. Springer. pp. 194–205.
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
Citations of this work
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory.Alex Simpson - 2004 - Annals of Pure and Applied Logic 130 (1-3):207-275.
Resource Modalities in Tensor Logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.