The shuffle Hopf algebra and noncommutative full completeness

DOI10.2307/2586659zbMath0926.03077OpenAlexW1975997375MaRDI QIDQ4254690

Richard F. Blute, Philip J. Scott

Publication date: 29 November 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/08815b9b258a61a3667867042e12d50fa82c23d1

zbMATH Keywords

completeness theoremshuffle algebracategorical semanticsnoncommutative linear logicmultiplicative fragmentcyclic linear logicnoncocommutative Hopf algebradenotations of cut-free proofsequivariant transformationsinterpreting proofs as dinatural transformations on a category of topological vector spaces

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (6)

Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Unnamed Item ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Softness of hypercoherences and MALL full completeness ⋮ \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic ⋮ Event Domains, Stable Functions and Proof-Nets

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Linear logic, coherence and dinaturality
• Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction
• Antipodes and incidence coalgebras
• The system \({\mathcal F}\) of variable types, fifteen years later
• Une théorie combinatoire des séries formelles
• The structure of multiplicatives
• \(*\)-autonomous categories of bimodules
• Domain theoretic models of polymorphism
• Linear Läuchli semantics
• QUASITRIANGULAR HOPF ALGEBRAS AND YANG-BAXTER EQUATIONS
• Coalgebras and Bialgebras in Combinatorics
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Adjointness in Foundations
• The mix rule
• Hopf algebras and linear logic
• Appendix: Separability of tensor in Chu categories of vector spaces
• Hopf Algebras of Combinatorial Structures

This page was built for publication: The shuffle Hopf algebra and noncommutative full completeness