Hopf algebras and linear logic

DOI10.1017/S0960129500000943MaRDI QIDQ4882498zbMATH OpenFDO

Authors Richard Blute

Publication date 9 April 1997

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129500000943

zbMATH Keywords

*-autonomous categoryChu categorycommutative logiccyclic logicinvolutive negationlinear logiclinear topologymonoidal categoriesnoncommutative logicreflexive objectsrepresentations of Hopf algebrastopological vector spaces

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 1863399
• The shuffle Hopf algebra and noncommutative full completeness
• scientific article; zbMATH DE number 1231512

Cites work

• Antipodes and incidence coalgebras
• Braided groups
• Coalgebras and Bialgebras in Combinatorics
• Coherence for compact closed categories
• Coherence in categories
• Coherence in closed categories
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Linear logic
• Linear logic, coherence and dinaturality
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction
• Proceedings of the Conference on Categorical Algebra
• Quantales and (noncommutative) linear logic
• QUASITRIANGULAR HOPF ALGEBRAS AND YANG-BAXTER EQUATIONS
• Stone duality for first order logic

Cited in

(15)

• Chu spaces as a semantic bridge between linear logic and mathematics.
• On Hopf adjunctions, Hopf monads and Frobenius-type properties
• Semantics of quantum programming languages: Classical control, quantum control
• Finiteness spaces, étale groupoids and their convolution algebras
• A quantum double construction in Rel.
• Bialgebras in Rel
• scientific article; zbMATH DE number 1231512 (Why is no real title available?)
• The shuffle Hopf algebra and noncommutative full completeness
• scientific article; zbMATH DE number 1863399 (Why is no real title available?)
• Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• Models of Linear Logic based on the Schwartz \varepsilon-product
• Additive enrichment from coderelictions
• A linear linear lambda-calculus

This page was built for publication: Hopf algebras and linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882498)