Hopf algebras and linear logic

DOI10.1017/S0960129500000943zbMATH Open0859.18008MaRDI QIDQ4882498FDOQ4882498

Authors: Richard Blute 

Publication date: 9 April 1997

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

Recommendations

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

zbMATH Keywords

linear logicmonoidal categoriesreflexive objectstopological vector spaceslinear topology*-autonomous categorynoncommutative logicrepresentations of Hopf algebrasinvolutive negationChu categorycommutative logiccyclic logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Cites Work

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

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantics of quantum programming languages: Classical control, quantum control
• Title not available (Why is that?)
• Chu spaces as a semantic bridge between linear logic and mathematics.
• Finiteness spaces, étale groupoids and their convolution algebras
• A quantum double construction in Rel.
• Title not available (Why is that?)
• Models of Linear Logic based on the Schwartz $\varepsilon$-product
• Bialgebras in Rel
• The shuffle Hopf algebra and noncommutative full completeness
• On Hopf adjunctions, Hopf monads and Frobenius-type properties

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)