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)

Full work available at URL https://doi.org/10.1142/S0129054100000065

zbMATH Keywords

constructive classical logicCPS-calculusCPS-semanticsCPS-transform

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) 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

(7)

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

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)