A categorical semantics for polarized MALL

DOI10.1016/J.APAL.2006.09.001zbMATH Open1125.03045OpenAlexW2147758190MaRDI QIDQ866570FDOQ866570

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

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

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)

Cites Work

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

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
• Lambek-Grishin calculus: focusing, display and full polarization
• A categorical setting 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

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)