Kolmogorov and Gödel's approach to intuitionistic logic: current developments

DOI10.1070/RM2004v059n02ABEH000715zbMath1074.03029OpenAlexW1981294086MaRDI QIDQ4829857

Sergej N. Artemov

Publication date: 1 December 2004

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm2004v059n02abeh000715

zbMATH Keywords

surveyinterpolationcomplexityKripke modelsproof searchlogic of proofsextensions of LP

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (9)

The basic intuitionistic logic of proofs ⋮ Topological Semantics of Justification Logic ⋮ On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC ⋮ A complexity question in justification logic ⋮ Kripke semantics for the logic of problems and propositions ⋮ Typing in reflective combinatory logic ⋮ Making knowledge explicit: how hard it is ⋮ On the complexity of the reflected logic of proofs ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

This page was built for publication: Kolmogorov and Gödel's approach to intuitionistic logic: current developments