A continuum of incomplete intermediate logics
classification
💻 cs.LO
keywords
continuumincompleteintermediatelogiclogicsshehtmanconstructederror
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.