scientific article; zbMATH DE number 1497741

MaRDI QIDQ4499151zbMATH OpenFDO

Authors Sergei Artemov

Publication date 6 March 2001

zbMATH Keywords

combinatory logicintuitionistic logicmodal logic\(\lambda\)-calculusprovability semanticslogic of explicit provabilityprovability realization

Mathematics Subject Classification ID

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

Recommendations

• Explicit provability and constructive semantics
• Realization of Intuitionistic Logic by Proof Polynomials
• scientific article; zbMATH DE number 2209442
• The logic of proofs, semantically

Cited in

(10)

• The completeness of provable realizability
• Absolute \(L\)-realizability and intuitionistic logic
• Intuitionistic completeness of first-order logic
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Realization of Intuitionistic Logic by Proof Polynomials
• scientific article; zbMATH DE number 2174387 (Why is no real title available?)
• Interacting explicit evidence systems
• Correspondences between classical, intuitionistic and uniform provability
• scientific article; zbMATH DE number 2209442 (Why is no real title available?)
• Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic

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