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

DOI10.1145/2933575.2933581zbMATH Open1395.03038OpenAlexW2530278950WikidataQ130864113 ScholiaQ130864113MaRDI QIDQ4635871FDOQ4635871

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

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

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)

Cited In (5)

• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• Unifying logics via context-sensitiveness
• A focused approach to combining logics
• Unifying classical and intuitionistic logics for computational control
• On the unification of classical, intuitionistic and affine 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)