Coherence in SMCCs and equivalences on derivations in IMML with unit

DOI10.1016/J.APAL.2007.03.005zbMATH Open1117.18005OpenAlexW2053083368MaRDI QIDQ2373695FDOQ2373695

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

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

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)

Cites Work

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

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)