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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,859

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

Coherence via Focusing for Symmetric Skew Monoidal Categories.Niccolò Veltri - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz, 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.
The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.
Category Free Category Theory and Its Philosophical Implications.Michael Heller - 2016 - Logic and Logical Philosophy 25 (4):447-459.
Coherence in SMCCs and equivalences on derivations in IMLL with unit.L. Mehats & Sergei Soloviev - 2007 - Annals of Pure and Applied Logic 147 (3):127-179.
The Sequent Calculus of Skew Monoidal Categories.Tarmo Uustalu, Niccolò Veltri & Noam Zeilberger - 2021 - In Claudia Casadio & Philip J. Scott, Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 377-406.
Medial commutativity.Kosta Došen & Zoran Petrić - 2007 - Annals of Pure and Applied Logic 146 (2):237-255.

Analytics

Added to PP
2009-01-28

Downloads
91 (#247,039)

6 months
22 (#142,909)

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