Complete Lattice: Intermediate Logic

Complete Lattice: Intermediate Logic
HEY! a COMPLETE LATTICE about logic?
Superintuitionistic or intermediate logics form a complete lattice with intuitionistic logic as the bottom and the inconsistent logic (in the case of superintuitionistic logics) or classical logic (in the case of intermediate logics) as the top. Classical logic is the only coatom in the lattice of superintuitionistic logics; the lattice of intermediate logics also has a unique coatom, namely SmL.

https://en.wikipedia.org/wiki/Intermediate_logic

Leave a comment

Your email address will not be published. Required fields are marked *


+ six = 7

Leave a Reply