Calculus of classical proofs. I

DOI10.1007/3-540-63875-X_62MaRDI QIDQ4370352zbMATH OpenFDO

Authors Ken-etsu Fujita

Publication date 29 June 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63875-X_62

zbMATH Keywords

call-by-value strategyChurch-Rosser propertyclassical propositional logicclassical provabilitycomputational propertiesCPS-translationlogical inconsistencynatural deduction systemPeirce's law

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 5652610
• scientific article; zbMATH DE number 3264937
• Proof-theoretic semantics for classical mathematics
• scientific article; zbMATH DE number 827982
• Computer Science Logic
• Proof theory. An introduction
• scientific article; zbMATH DE number 5920146
• scientific article; zbMATH DE number 1678362
• scientific article; zbMATH DE number 517083

Cited in

(13)

• Towards a canonical classical natural deduction system
• A proof-theoretic foundation of abortive continuations
• Domain-free -calculus
• scientific article; zbMATH DE number 1678362 (Why is no real title available?)
• A semantics of realisability for the classical propositional natural deduction
• On the computational representation of classical logical connectives
• Classical proofs as parallel programs
• scientific article; zbMATH DE number 5652610 (Why is no real title available?)
• Polymorphic call-by-value calculus based on classical proofs (extended abstract)
• scientific article; zbMATH DE number 2024631 (Why is no real title available?)
• scientific article; zbMATH DE number 2038761 (Why is no real title available?)
• An intuitionistic λ-calculus with exceptions
• A constructive logic with classical proofs and refutations

This page was built for publication: Calculus of classical proofs. I

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