直观的微积分
逻辑
反馈
谢谢您的反馈
我们的编辑将审阅你所提交的内容，并决定是否修改文章。
外部网站
了解本主题在这些文章中:
自然演绎法
-
在形式逻辑:PC中的自然演绎方法
正是直觉微积分的定理
阅读更多
非标准形式系统
-
在形式逻辑:PC的非标准版本
其中，最著名的是由直觉主义数学学派的主要代表之一阿伦·海廷设计的直觉主义微积分，这是一群理论家，他们否认经典数学中某些类型证明的有效性(看到数学，基础:直觉逻辑)。至少在某些情况下，
阅读更多 - 在逻辑哲学:另类逻辑
最重要的非经典逻辑是直觉逻辑，由荷兰数学家阿伦·海廷于1930年首次形式化。已经证明，这种逻辑可以用模态逻辑作为一种认识逻辑系统来解释。鉴于它的目的是…
阅读更多
有效性
-
在形式逻辑:模态逻辑的有效性
直觉性个人电脑的有效性定义然而，对于许多公理模态系统，还没有设计出令人满意的有效性说明。通过结合前面给出的lpc -有效性的定义，还可以为各种模态谓词逻辑定义有效性(见上图在LPC中的有效性)与相关帐户…
阅读更多