中英▼
go top

Intermediate logic

  • 中间逻辑（中介逻辑是直觉主义逻辑和经典逻辑之间的中介，也称超直觉主义或次经典逻辑。它包含直觉主义逻辑中不可证明的定理，但不等于经典逻辑）
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定