Semantics of weakening and contraction

Annals of Pure and Applied Logic 69 (1):73-106 (1994)


The 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!=

Download options


    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

15 (#703,766)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my 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.
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.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.
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.
Blockage Contraction.Sven Ove Hansson - 2013 - Journal of Philosophical Logic 42 (2):415-442.

References found in this work

On the Unity of Logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.

Add more references

Citations of this work

Resource Modalities in Tensor Logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.

Add more citations