Intuitionistic phase semantics is almost classical

DOI10.1017/S0960129505005062MaRDI QIDQ5466794zbMATH OpenOpenAlexFDO

Authors Mitsuhiro Okada, Kazushige Terui, Max Kanovich

Publication date 22 May 2006

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129505005062

zbMATH Keywords

phase semanticsintuitionistic linear logicclassical linear logic

Mathematics Subject Classification ID

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

Recommendations

• Around classical and intuitionistic linear logics
• scientific article; zbMATH DE number 218517
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• Functional interpretations of intuitionistic linear logic
• Linearizing intuitionistic implication

Cited in

(4)

• Around classical and intuitionistic linear logics
• Relational Models for the Lambek Calculus with Intersection and Constants
• Non-normal modalities in variants of linear logic
• GRADATIONAL ACCURACY AND NONCLASSICAL SEMANTICS

This page was built for publication: Intuitionistic phase semantics is almost classical

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