Coherence in substructural categories

DOI10.1023/A:1015186718090zbMath1022.03050arXivmath/0006061OpenAlexW1625847309MaRDI QIDQ1604796

Zoran Petrić

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

zbMATH Keywords

treegraphcoherencesubstructural logicfree category\(g\)-natural transformationsaffine categorycartesian categorycategory with multiplicationrelevant category

Mathematics Subject Classification ID

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 (max. 100)

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

This page was built for publication: Coherence in substructural categories