Connectification forn-contraction
- 1 January 1995
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 54 (2) , 149-171
- https://doi.org/10.1007/bf01063150
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Extending intuitionistic linear logic with knotted structural rules.Notre Dame Journal of Formal Logic, 1994
- The Lambek calculus enriched with additional connectivesJournal of Logic, Language and Information, 1992
- Linear logicTheoretical Computer Science, 1987
- On the Freyd cover of a topos.Notre Dame Journal of Formal Logic, 1983
- A Note on the Friedman Slash and Freyd CoversPublished by Elsevier ,1982
- Glueing Topoi and Higher Order Disjunction and ExistencePublished by Elsevier ,1982