A phase semantics for polarized linear logic and second order conservativity

DOI10.2178/jsl/1264433910zbMath1186.03051OpenAlexW2023272999MaRDI QIDQ5190190

Masahiro Hamano, Ryo Takemura

Publication date: 15 March 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.708.6529

zbMATH Keywords

phase semanticspolarized linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

An Indexed System for Multiplicative Additive Polarized Linear Logic, On geometry of interaction for polarized linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• A categorical semantics for polarized MALL
• Theoretical computer science. Petri nets.
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Syntax vs. semantics: A polarized approach
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• The finite model property for various fragments of linear logic
• Which structural rules admit cut elimination? An algebraic criterion