• 直觉主义逻辑+

直觉主义逻辑扩展了一些符号是可判定（经典）组合的假设经典和直观的特征。

• 超越恒定传播

传统的数据流分析可以扩展到收集有关程序表达式的信息和原因。这种增强的分析是通过固定点算法执行的，该算法包括基于规则的推理过程。

• 命名之前的约束函数逻辑编程

用函数表示法和关系约束相结合的程序规范。使用逻辑规则的程序派生。

• 人工智能逻辑
人工智能系统的逻辑特征。这些逻辑包括表示领域知识的非逻辑公理。

• 模糊与神经符号计算
神经符号计算研究符号推理和神经网络相结合的方法。模糊计算在真值属于连续区间的环境中估计逻辑语句的真度。

• 上下文无关语言的子集及其自动机
单计数器自动机、输入驱动语言、随机自动机等。

数学无疑因其独特的精神本质而脱颖而出。这里有一些数学珍珠证明了上述说法，我对它们特别满意：

教会教育论文   哥德尔不完全性定理   递归不确定   康托对角线法

所有这些链接都会导致埃里克·魏斯坦的数学世界.这是一本极好的在线数学百科全书，是我迄今为止所知道的最好的一本-主办沃尔夫勒姆研究公司.请参阅我对这部百科全书的贡献：

公理模式   Birkhoff定理   Church-Rosser财产   Church-Rosser定理   汇流   创意套装   关键对   切割消除   等式逻辑   最终终止   一阶谓词演算   形式语言   一般递归函数   哥德尔数   语法   地面原子   基本条款   基本文字   赫布兰德基地   赫伯兰德定理   赫布兰德宇宙   Horn条款   解释   直觉主义逻辑   克莱恩递推定理   Kleene的s-m-n定理   Knuth-Bendix完成算法   科尼格引理   Loewenheim-Skolem定理   Modus Ponens公司   部分评估   Prenex范式   生产设备   命题微积分   递归同构   递归集   递归可枚举集   递归不确定   可减少   减少订单   还原系统   正则表达式   分辨率   分辨率原理   赖斯定理   序贯演算   Skolem函数   斯科利姆标准格式   严格的秩序   术语重写系统   统一   泛代数
 

查看终极指南 数学基础 这是我收集的关于这个主题的优质材料的链接。该领域的一些主要研究也为本指南的创建做出了贡献-请参阅该页上的确认。本指南以图书目录页的形式组织，旨在作为参考学习数学基础。 我的其他数学逻辑参考资料是： 全套 逻辑法则     Sequencet微积分入门 带有多个派生示例

也，蒂姆的三角页面包含有关学校学生三角形的必要信息。

访问的网站圣彼得堡数学学会我是其中的一员。