5 votes

Are there atoms in the lattice of intermediate logics?

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 ...
Emil Jeřábek's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible