A continuum of incomplete intermediate logics
Logic in Computer Science
2018-08-21 v1
Abstract
This paper generalizes the 1977 paper of V.B. Shehtman, which constructed the first Kripke incomplete intermediate logic, by presenting a continuum of such logics. This version fixes an error in my simplified proof of incompleteness of Shehtman's original logic.
Cite
@article{arxiv.1808.06284,
title = {A continuum of incomplete intermediate logics},
author = {Tadeusz Litak},
journal= {arXiv preprint arXiv:1808.06284},
year = {2018}
}
Comments
A corrected version of my 2002 paper