scientific article; zbMATH DE number 1104448

zbMATH Open0890.03028MaRDI QIDQ4370352FDOQ4370352

Authors: Ken-etsu Fujita 

Publication date: 29 June 1998

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

• Title not available (Why is that?)
• Towards a canonical classical natural deduction system
• A proof-theoretic foundation of abortive continuations
• An intuitionistic λ-calculus with exceptions
• Domain-free \(\lambda\mu\)-calculus
• Title not available (Why is that?)
• A constructive logic with classical proofs and refutations
• Title not available (Why is that?)
• A semantics of realisability for the classical propositional natural deduction
• On the computational representation of classical logical connectives
• Title not available (Why is that?)

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)