直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
例如，直觉主义逻辑(intuitionistic logic)对真值和逻辑联结词、逻辑演算的意义采取完全不同的理解，特别重视 结构和证明在逻辑系统中的作用； 自由逻辑(free logic)在假设...
基于2418个网页-相关网页
直觉主义量词模态逻辑 intuitionistic quantified modal logic
·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐