scientific article; zbMATH DE number 1735872

MaRDI QIDQ4329233zbMATH OpenFDO

Authors Sergei Artemov

Publication date 11 December 2002

zbMATH Keywords

arithmetical interpretationBHK-interpretationfunctional completenessintuitionistic logiclogic of proofsmodal logic S4operations on proofsproof polynomialprovability

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Logic of proofs and provability
• The logic of proofs, semantically
• Negative Operations on Proofs and Labels
• scientific article; zbMATH DE number 1320664
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments

Cited in

(18)

• Dag Prawitz on proofs, operations and grounding
• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• The first-order hypothetical logic of proofs
• Analytic methods for the logic of proofs
• Logic of Proofs and Labels with a Complete Set of Operations
• Operations on proofs and labels
• scientific article; zbMATH DE number 1320664 (Why is no real title available?)
• scientific article; zbMATH DE number 1114340 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1114356 (Why is no real title available?)
• scientific article; zbMATH DE number 2174387 (Why is no real title available?)
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Proof Identity for Classical Logic: Generalizing to Normality
• Symmetric Logic of Proofs
• scientific article; zbMATH DE number 2209442 (Why is no real title available?)
• Negative Operations on Proofs and Labels
• Logic of proofs and provability
• The logic of proofs, semantically

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 Q4329233)