Constructive classical logic as CPS-calculus

DOI10.1142/S0129054100000065MaRDI QIDQ5249031zbMATH OpenFDO

Authors Ichiro Ogata

Publication date 29 April 2015

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

constructive classical logicCPS-calculusCPS-semanticsCPS-transform

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1500568
• scientific article; zbMATH DE number 1070627
• scientific article; zbMATH DE number 1302630
• Programs with continuations and linear logic
• On semantics of a term calculus for classical logic

Cites work

• A new constructive logic: classic logic
• A new deconstructive logic: linear logic
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Linear logic
• Normalization as a homomorphic image of cut-elimination
• The correspondence between cut-elimination and normalization
• Untersuchungen über das logische Schliessen. I

Cited in

(5)

• The stack calculus
• Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic
• scientific article; zbMATH DE number 512771 (Why is no real title available?)
• Classical realizability in the CPS target language
• On semantics of a term calculus for classical logic

This page was built for publication: Constructive classical logic as CPS-calculus

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