Coherence in SMCCs and equivalences on derivations in IMML with unit

DOI10.1016/J.APAL.2007.03.005MaRDI QIDQ2373695zbMATH OpenOpenAlexFDO

Authors L. Méhats, Serguei V. Solov'ev

Publication date 16 July 2007

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2007.03.005

zbMATH Keywords

coherencesymmetric monoidal closed categoriesequivalences on derivationsintuitionistic multiplicative linear logic with unit

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Coherence in substructural categories
• scientific article; zbMATH DE number 15880
• scientific article; zbMATH DE number 17524
• scientific article; zbMATH DE number 517045
• On the conditions of full coherence in closed categories

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 2185676 (Why is no real title available?)
• scientific article; zbMATH DE number 3425671 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 3179491 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 517016 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 2134910 (Why is no real title available?)
• scientific article; zbMATH DE number 3207307 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3384259 (Why is no real title available?)
• scientific article; zbMATH DE number 3385865 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• scientific article; zbMATH DE number 3074068 (Why is no real title available?)
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A coherence theorem for canonical morphisms in Cartesian closed categories
• A generalization of the functorial calculus
• A note on full intuitionistic linear logic
• An interpolation theorem in the predicate calculus
• Catégories structurées
• Closed categories and the theory of proofs
• Coherence for compact closed categories
• Coherence in closed categories
• Cut elimination in categories
• Deductive Completeness
• Deductive systems and categories
• Exhausting strategies, joker games and full completeness for IMLL with unit
• Identity of Proofs Based on Normalization and Generality
• Isomorphic objects in symmetric monoidal closed categories
• Linear logic
• Linear logic, coherence and dinaturality
• Multiplicative linear logics and fibrations
• Natural deduction and coherence for weakly distributive categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• On the conditions of full coherence in closed categories
• Poset-valued sets or how to build models for linear logics
• Preservation of equivalence of derivations under reduction of depth of formulas
• Proof of a conjecture of S. Mac Lane
• Proof-theoretical coherence
• Propositional Calculus and Realizability
• Reductions in Intuitionistic Linear Logic
• The Connection between Equivalence of Proofs and Cartesian Closed Categories
• The maximality of Cartesian categories
• The maximality of the typed lambda calculus and of cartesian closed categories
• Topology and logic as a source of algebra

Cited in

(4)

• Applications of methods of proof theory in category theory.
• Categorical interpretation of logical derivations and its applications in algebra
• Coherence for closed categories with biproducts
• Proof of a conjecture of S. Mac Lane

This page was built for publication: Coherence in SMCCs and equivalences on derivations in IMML with unit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373695)