An Indexed System for Multiplicative Additive Polarized Linear Logic

DOI10.1007/978-3-540-87531-4_20MaRDI QIDQ3540184zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

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)