Unified semantics and proof system for classical, intuitionistic and affine logics

DOI10.1145/2933575.2933581MaRDI QIDQ4635871zbMATH OpenOpenAlexWikidataFDO

Authors Chuck Liang

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2933581

zbMATH Keywords

proof theorylinear logicphase semanticsclassical logicfocusingdelimited continuationslambda-mu-calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• On the unification of classical, intuitionistic and affine logics
• A focused approach to combining logics
• Focusing and polarization in linear, intuitionistic, and classical logics
• scientific article; zbMATH DE number 786485
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic

Cited in

(5)

• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• On the unification of classical, intuitionistic and affine logics
• Unifying classical and intuitionistic logics for computational control
• Unifying logics via context-sensitiveness
• A focused approach to combining logics

This page was built for publication: Unified semantics and proof system for classical, intuitionistic and affine logics

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