An Indexed System for Multiplicative Additive Polarized Linear Logic
From MaRDI portal
Publication:3540184
DOI10.1007/978-3-540-87531-4_20zbMath1156.03334MaRDI QIDQ3540184
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
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- A categorical semantics for polarized MALL
- On denotational completeness
- Relational model of second order linear logic
- Polarized games
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- 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
- A phase semantics for polarized linear logic and second order conservativity
- A completeness theorem for symmetric product phase spaces
- On phase semantics and denotational semantics: The exponentials