Cartesian isomorphisms are symmetric monoidal: A justification of linear logic

&
Journal of Symbolic Logic 64 (1):227-242 (1999)
  Copy   BIBTEX

Abstract

It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism

Categories

Keywords

Reprint years

DOI

10.2307/2586761

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

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

Through your library

My notes

Similar books and articles

Cartesian Isomorphisms are Symmetric Monoidal: A Justification of Linear Logic.Kosta Dosen & Zoran Petric - 1999 - Journal of Symbolic Logic 64 (1):227-242.
Coherence via Focusing for Symmetric Skew Monoidal Categories.Niccolò Veltri - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 184-200.
Weak typed Böhm theorem on IMLL.Satoshi Matsuoka - 2007 - Annals of Pure and Applied Logic 145 (1):37-90.
Monoidal categories with natural numbers object.Robert Paré & Leopoldo Román - 1989 - Studia Logica 48 (3):361 - 376.
Coherence in substructural categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.
Proof of a conjecture of S. Mac Lane.S. Soloviev - 1997 - Annals of Pure and Applied Logic 90 (1-3):101-162.
Coherence in Substructural Categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271-296.
The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.
Coherence in Substructural Categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271-296.
Category Free Category Theory and Its Philosophical Implications.Michael Heller - 2016 - Logic and Logical Philosophy 25 (4):447-459.

Analytics

Added to PP
2009-01-28

Downloads
54 (#287,802)

6 months
17 (#204,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.

Add more citations

References found in this work

Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.

Add more references