A categorical semantics for polarized MALL

DOI10.1016/J.APAL.2006.09.001MaRDI QIDQ866570zbMATH OpenOpenAlexFDO

Authors Masahiro Hamano, Philip 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

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

Mathematics Subject Classification ID

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

Recommendations

• Polarized category theory, modules, and game semantics
• On geometry of interaction for polarized linear logic
• *-Autonomous categories and linear logic
• A categorical model for the geometry of interaction
• Categorical proof theory of classical propositional calculus

Cites work

• scientific article; zbMATH DE number 5080676 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 1342251 (Why is no real title available?)
• scientific article; zbMATH DE number 1342282 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 2134912 (Why is no real title available?)
• scientific article; zbMATH DE number 771635 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 872569 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A new constructive logic: classic logic
• Chu spaces as a semantic bridge between linear logic and mathematics.
• Coherence for star-autonomous categories
• Coherence of proof-net categories
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Focussing and proof construction
• Functorial polymorphism
• Games and full completeness for multiplicative linear logic
• Glueing and orthogonality for models of linear logic
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Linear Läuchli semantics
• Locus solum: From the rules of logic to the logic of rules.
• Logic Programming with Focusing Proofs in Linear Logic
• Polarized category theory, modules, and game semantics
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• Sequentiality vs. concurrency in games and logic
• Simple free star-autonomous categories and full coherence
• Softness of MALL proof-structures and a correctness criterion with Mix
• Softness of hypercoherences and MALL full completeness
• The logic of linear functors
• Topological \(\ast\)-autonomous categories

Cited in

(10)

• On geometry of interaction for polarized linear logic
• On the meaning of focalization
• Safe recursion revisited. I: Categorical semantics for lower complexity
• Polarized category theory, modules, and game semantics
• From focalization of logic to the logic of focalization
• A categorical setting for lower complexity
• Lambek-Grishin calculus: focusing, display and full polarization
• 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

This page was built for publication: A categorical semantics for polarized MALL

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