Coherence in substructural categories
From MaRDI portal
Publication:1604796
DOI10.1023/A:1015186718090zbMath1022.03050arXivmath/0006061MaRDI QIDQ1604796
Publication date: 8 July 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0006061
tree; graph; coherence; substructural logic; free category; \(g\)-natural transformations; affine category; cartesian category; category with multiplication; relevant category
03G30: Categorical logic, topoi
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F03: Proof theory in general (including proof-theoretic semantics)
18A15: Foundations, relations to logic and deductive systems
Related Items
Identity of Proofs Based on Normalization and Generality, Global State Considered Helpful, REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS, Monoidal indeterminates and categories of possible worlds, Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions, Monoidal Indeterminates and Categories of Possible Worlds, Generality of proofs and its Brauerian representation, Coherence for monoidal endofunctors