A categorical semantics for polarized MALL

DOI10.1016/j.apal.2006.09.001zbMath1125.03045OpenAlexW2147758190MaRDI QIDQ866570

Masahiro Hamano, Philip J. Scott

Publication date: 14 February 2007

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.2006.09.001

zbMATH Keywords

linear logicgame semantics*-autonomous categorycategorical modelChu-space modelEhrhard hereditary/anti-hereditary objectsgluing modelhypercoherence modelJoyal softnesspolarized linear logic

Mathematics Subject Classification ID

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

Related Items

From Focalization of Logic to the Logic of Focalization, A Categorical Setting for Lower Complexity, Safe recursion revisited. I: Categorical semantics for lower complexity, An Indexed System for Multiplicative Additive Polarized Linear Logic, Softness of hypercoherences and MALL full completeness, A phase semantics for polarized linear logic and second order conservativity, On geometry of interaction for polarized linear logic, On the Meaning of Focalization

Cites Work

• Softness of hypercoherences and MALL full completeness
• Functorial polymorphism
• Glueing and orthogonality for models of linear logic
• Chu spaces as a semantic bridge between linear logic and mathematics.
• Focussing and proof construction
• Softness of MALL proof-structures and a correctness criterion with Mix
• Linear Läuchli semantics
• Simple free star-autonomous categories and full coherence
• Coherence for star-autonomous categories
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• Locus Solum: From the rules of logic to the logic of rules
• *-Autonomous categories and linear logic
• A new constructive logic: classic logic
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Logic Programming with Focusing Proofs in Linear Logic
• Games and full completeness for multiplicative linear logic
• Sequentiality vs. concurrency in games and logic
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• The logic of linear functors
• Coherence of proof-net categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item