Semantics of weakening and contraction
Open Access
- 6 September 1994
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 69 (1) , 73-106
- https://doi.org/10.1016/0168-0072(94)90020-5
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On the unity of logicAnnals of Pure and Applied Logic, 1993
- Bounded linear logic: a modular approach to polynomial-time computabilityTheoretical Computer Science, 1992
- A new constructive logic: classic logicMathematical Structures in Computer Science, 1991
- *-Autonomous categories and linear logicMathematical Structures in Computer Science, 1991
- Collapsed toposes and cartesian closed varietiesJournal of Algebra, 1990
- Linear logicTheoretical Computer Science, 1987
- A decidable fragment of predicate calculusTheoretical Computer Science, 1984
- Closed categories generated by commutative monadsJournal of the Australian Mathematical Society, 1971
- Monads on symmetric monoidal closed categoriesArchiv der Mathematik, 1970
- On Double Dualization Monads.MATHEMATICA SCANDINAVICA, 1970