Cartesian isomorphisms are symmetric monoidal: A justification of linear logic

Journal of Symbolic Logic

Volumn 64, Issue 1, 1999, Pages 227-242

  Došen, Kosta ^a   Petrić, Zoran ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0038938256     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586761     Document Type: Article

References (18)

1. K. B. BRUCE, R. DI COSMO, and G. LONGO, Provable isomorphisms of types, Mathematical Structures in Computer Science, vol. 2 (1992), pp. 231-247.
2. R. DI COSMO, Isomorphisms of types: From λ-calculus to information retrieval and language design. Birkhäuser, Boston, 1995.
3. K. DOŠEN, Logical constants as punctuation marks, Notre Dame Journal of Formal Logic, vol. 30 (1989). pp. 362-381, slightly amended version in What is a logical system? (D. M. Gabbay, editor), Oxford University Press, Oxford, 1994, pp. 273-296.
4. K. DOŠEN, Logical constants as punctuation marks, Notre Dame Journal of Formal Logic, vol. 30 (1989). pp. 362-381, slightly amended version in What is a logical system? (D. M. Gabbay, editor), Oxford University Press, Oxford, 1994, pp. 273-296.
5. _. Modal translations in substructural logics, Journal of Philosophical Logic, vol. 21 (1992), pp. 283-336.
6. K. DOŠEN and Z. PETRIĆ, Modal functional completeness, Proof theory of modal logic (H. Wansing, editor). Kluwer, Dordrecht, 1996, pp. 167-211.
7. K. Došen and P. Schroeder-Heister (editors), Substructural logics, Oxford University Press, Oxford, 1993.
8. G. GENTZEN, Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften (N. S.), vol. 4 (1938), pp. 19-44, English translation in The collected papers of Gerhard Gentzen (M. E. Szabo, editor), North-Holland, Amsterdam, 1969, pp. 252-286.
9. G. GENTZEN, Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften (N. S.), vol. 4 (1938), pp. 19-44, English translation in The collected papers of Gerhard Gentzen (M. E. Szabo, editor), North-Holland, Amsterdam, 1969, pp. 252-286.
10. G. M. KELLY, Many-variable functorial calculus I, Coherence in categories (S. Mac Lane, editor), Lecture Notes in Mathematics, no. 281, Springer-Verlag, Berlin, 1972, pp. 66-105.
11. _, An abstract approach to coherence, Coherence in categories (S. Mac Lane, editor), Lecture Notes in Mathematics, no. 281, Springer-Verlag, Berlin, 1972, pp. 106-147.
12. S. MAC LANE, Categories for the working mathematician, Springer-Verlag, Berlin, 1971.
13. S. MAEHARA, Eine Darstellung der intuitionistischen Logik in der klassischen, Nagoya Mathematical Journal, vol. 7 (1954), pp. 45-64.
14. G. E. MINTS, Category theory and proof theory, Aktual'nye voprosy logiki i metodologii nauki, Naukova Dumka, Kiev, 1980, in Russian, pp. 252-278. English translation, with permuted title, in G. E. MINTS, Selected papers in proof theory, Bibliopolis, Naples, 1992.
15. G. E. MINTS, Category theory and proof theory, Aktual'nye voprosy logiki i metodologii nauki, Naukova Dumka, Kiev, 1980, in Russian, pp. 252-278. English translation, with permuted title, in G. E. MINTS, Selected papers in proof theory, Bibliopolis, Naples, 1992.
16. Z. PETRIĆ, Coherence in substructural categories, to appear, 1997.
17. S. V. SOLOVIEV, The category of finite sets and cartesian closed categories, Zapiski Nauchnykh Seminarov LOMI, vol. 105 (1981), pp. 174-194, in Russian; English translation in Journal of Soviet Mathematics, vol. 22 (1983), pp. 1387-1400.
18. S. V. SOLOVIEV, The category of finite sets and cartesian closed categories, Zapiski Nauchnykh Seminarov LOMI, vol. 105 (1981), pp. 174-194, in Russian; English translation in Journal of Soviet Mathematics, vol. 22 (1983), pp. 1387-1400.