Answer by Emil Jeřábek for Are there atoms in the lattice of intermediate...
There are no atoms.Assume for contradiction that $L$ is an atom. Since $L$ strictly contains IPC, there is a finite rooted Kripke frame $F$ that does not validate $L$, thus $L$ proves the Jankov–De...
View ArticleAre there atoms in the lattice of intermediate logics?
A few days ago I stumbled upon this question on MS. The question is: Does the lattice of intermediate logics have an atom, i.e. an element that is strictly stronger than IPC but not strictly stronger...
View Article
More Pages to Explore .....
