scientific article; zbMATH DE number 1497741

zbMATH Open0961.03055MaRDI QIDQ4499151FDOQ4499151

Sergei Artemov

Publication date: 6 March 2001

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

Recommendations

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

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)

Cited In (8)

• Intuitionistic completeness of first-order logic
• Interacting explicit evidence systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• The completeness of provable realizability
• Correspondences between classical, intuitionistic and uniform provability
• Realization of Intuitionistic Logic by Proof Polynomials
• Absolute \(L\)-realizability and 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)