An Indexed System for Multiplicative Additive Polarized Linear Logic

DOI10.1007/978-3-540-87531-4_20zbMATH Open1156.03334OpenAlexW1554200072MaRDI QIDQ3540184FDOQ3540184

Authors: Masahiro Hamano, Ryo Takemura 

Publication date: 20 November 2008

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87531-4_20

Recommendations

• On phase semantics and denotational semantics: The exponentials
• On geometry of interaction for polarized linear logic
• A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
• A completeness theorem for symmetric product phase spaces
• On phase semantics and denotational semantics in multiplicative-additive linear logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Locus solum: From the rules of logic to the logic of rules.
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Polarized games
• Polarized category theory, modules, and game semantics
• A categorical semantics for polarized MALL
• On phase semantics and denotational semantics: The exponentials
• On the meaning of logical rules. II: Multiplicatives and additives
• On denotational completeness
• Relational model of second order linear logic
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• A completeness theorem for symmetric product phase spaces
• A phase semantics for polarized linear logic and second order conservativity

Cited In (3)

• On phase semantics and denotational semantics: The exponentials
• A completeness theorem for symmetric product phase spaces
• A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic

This page was built for publication: An Indexed System for Multiplicative Additive Polarized Linear Logic

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