直觉主义逻辑 直觉主义逻辑或构造性逻辑是最初由阿蘭德海廷开发的为鲁伊兹布劳威尔的数学直觉主义计划提供形式基础的符号逻辑这个系统保持跨越生成导出命题的变换的证实性而不是真理性从实用的观点也有使用直觉逻辑的强烈动机因为它有存在性质这使它还适合其他形式的数学构造主义