scientific article; zbMATH DE number 1104448

MaRDI QIDQ4370352zbMATH OpenFDO

Authors Ken-etsu Fujita

Publication date 29 June 1998

zbMATH Keywords

classical propositional logiccomputational propertiesChurch-Rosser propertynatural deduction systemCPS-translationclassical provabilityPeirce's lawlogical inconsistencycall-by-value strategy

Mathematics Subject Classification ID

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

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

(11)

• On the computational representation of classical logical connectives
• A constructive logic with classical proofs and refutations
• Towards a canonical classical natural deduction system
• scientific article; zbMATH DE number 2024631 (Why is no real title available?)
• An intuitionistic λ-calculus with exceptions
• scientific article; zbMATH DE number 1678362 (Why is no real title available?)
• A semantics of realisability for the classical propositional natural deduction
• scientific article; zbMATH DE number 2038761 (Why is no real title available?)
• A proof-theoretic foundation of abortive continuations
• Domain-free \(\lambda\mu\)-calculus
• scientific article; zbMATH DE number 5652610 (Why is no real title available?)

This page was built for publication:

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