Intermediate logic
- 中间逻辑（中介逻辑是直觉主义逻辑和经典逻辑之间的中介，也称超直觉主义或次经典逻辑。它包含直觉主义逻辑中不可证明的定理，但不等于经典逻辑）
Intermediate logic
-
abstract:
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. 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).
以上来源于:
WordNet