Classical logic is the strongest consistent superintuitionistic logic, thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).
Classical logic is the strongest consistent superintuitionistic logic. This was thus. Consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic) the strongest consistent superintuitionistic logic. Consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between classical logic) the strongest consistent superintuitionistic logic.