Equality of proofs for linear equality

DOI10.1007/s00153-008-0096-0zbMath1159.03039arXivmath/0601490OpenAlexW2017318132MaRDI QIDQ944225

Zoran Petrić, Kosta Došen

Publication date: 12 September 2008

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0601490

zbMATH Keywords

monoidal categorieslinear logiccongruence relationequalityadjunctionequivalence relationgenerality of proofscategorical coherenceequality of proofspreordering relation

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Equational categories (18C05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Coherence for modalities ⋮ Inferential Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the equivalence of proofs involving identity
• Categorical logic and type theory
• Cut elimination in categories
• Generality of proofs and its Brauerian representation
• Simplicial Endomorphisms
• A Brauerian representation of split preorders

This page was built for publication: Equality of proofs for linear equality