Abstract:
We give an example of a countable family of extensions of Dummett's superintuitionistic logic $LC$ in a language with one extra unary logical connective each of them defining a new logical connective in $LC$ in the sense of Novikov, and every two logics in this family are incompatible over $LC$.
Keywords:Dummett logic, new logical connective, Novikov completeness.