Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics
From MaRDI portal
Publication:5224682
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
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)
This page was built for publication: Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics
