Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics

zbMath1418.03175arXiv1602.05728MaRDI QIDQ5224682

Daniyar Shamkanov, Lev D. Beklemishev

Publication date: 24 July 2019

Full work available at URL: https://arxiv.org/abs/1602.05728

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Gödel numberings and issues of incompleteness (03F40)

Related Items (1)

CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

This page was built for publication: Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics