pith. sign in

arxiv: 2110.09014 · v1 · pith:2CZLR7YPnew · submitted 2021-10-18 · 🧮 math.LO

Normal extensions of KTB of codimension 3

classification 🧮 math.LO
keywords extensionsnormalcodimensionlogicalgebraicarisesbettercardinality
0
0 comments X
read the original abstract

It is known that in the lattice of normal extensions of the logic KTB there are unique logics of codimensions 1 and 2, namely, the logic of a single reflexive point, and the logic of the total relation on two points. A natural question arises about the cardinality of the set of normal extensions of KTB of codimension 3. Generalising two finite examples found by a computer search, we construct an uncountable family of (countable) graphs, and prove that certain frames based on these produce a continuum of normal extensions of KTB of codimension 3. We use algebraic methods, which in this case turn out to be better suited to the task than frame-theoretic ones.

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.