Unifying classical and intuitionistic logics for computational control

DOI10.1109/LICS.2013.34MaRDI QIDQ5271065zbMATH OpenOpenAlexWikidataFDO

Authors Chuck Liang, Dale Miller

Publication date 3 July 2017

Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2013.34

zbMATH Keywords

classical logiccontrol operatorsintuitionistic logicKrikpe semanticsproof theory

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Theory of programming languages (68N15)

Recommendations

• Unified semantics and proof system for classical, intuitionistic and affine logics
• On the unification of classical, intuitionistic and affine logics
• Control effects as a modality
• Computer Science Logic
• scientific article; zbMATH DE number 2038761

Cited in

(6)

• From the universality of mathematical truth to the interoperability of proof systems
• Kripke semantics for the logic of problems and propositions
• scientific article; zbMATH DE number 512771 (Why is no real title available?)
• scientific article; zbMATH DE number 1531362 (Why is no real title available?)
• On the unification of classical, intuitionistic and affine logics
• Negational fragment of intuitionistic control logic

This page was built for publication: Unifying classical and intuitionistic logics for computational control

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