Coherence in substructural categories
From MaRDI portal
Publication:1604796
DOI10.1023/A:1015186718090zbMath1022.03050arXivmath/0006061OpenAlexW1625847309MaRDI 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
treegraphcoherencesubstructural logicfree category\(g\)-natural transformationsaffine categorycartesian categorycategory with multiplicationrelevant category
Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Foundations, relations to logic and deductive systems (18A15)
Related Items
Generality of proofs and its Brauerian representation, Monoidal indeterminates and categories of possible worlds, Identity of Proofs Based on Normalization and Generality, Global State Considered Helpful, REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS, Coherence for monoidal endofunctors, Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions, Monoidal Indeterminates and Categories of Possible Worlds