Softness of hypercoherences and MALL full completeness

DOI10.1016/j.apal.2004.05.002zbMath1065.03041OpenAlexW2024042018MaRDI QIDQ705530

Masahiro Hamano, Richard F. Blute, Philip J. Scott

Publication date: 31 January 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.05.002

zbMATH Keywords

full completenessdinatural transformationcategory of hypercoherencesMALL proof-netmultiplicative-additive linear logicsoftness

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (6)

A categorical semantics for polarized MALL ⋮ A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Canonical extensions and relational completeness of some substructural logics ⋮ Event Domains, Stable Functions and Proof-Nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic, coherence and dinaturality
• Functorial polymorphism
• A categorical semantics for polarized MALL
• Natural deduction and coherence for weakly distributive categories
• The structure of multiplicatives
• Coherence completions of categories
• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• Softness of MALL proof-structures and a correctness criterion with Mix
• Linear Läuchli semantics
• Locus Solum: From the rules of logic to the logic of rules
• *-Autonomous categories and linear logic
• The shuffle Hopf algebra and noncommutative full completeness
• Games and full completeness for multiplicative linear logic
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• Proof nets for unit-free multiplicative-additive linear logic

This page was built for publication: Softness of hypercoherences and MALL full completeness