An Indexed System for Multiplicative Additive Polarized Linear Logic
From MaRDI portal
Publication:3540184
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)
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)