scientific article; zbMATH DE number 1104448

MaRDI QIDQ4370352zbMATH OpenFDO

Authors Ken-etsu Fujita

Publication date 29 June 1998

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?)
• scientific article; zbMATH DE number 1222431 (Why is no real title available?)
• 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:

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