Publication:4790674
From MaRDI portal
zbMath1017.03037MaRDI QIDQ4790674
Paul Ruet, François Lamarche, Richard F. Blute
Publication date: 24 August 2003
Full work available at URL: https://eudml.org/doc/122776
monoidal categoriesHopf algebraslinear logiccategorical modelmultiplicative fragment of non-commutative logicentropic categories
Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Hopf algebras (aspects of homology and homotopy of topological groups) (57T05)
Related Items
The entropy of semi-independent hyper MV-algebra dynamical systems, On cyclic star-autonomous categories, Multiplicative Linear Logics and Fibrations