这是一个调查差分逻辑方面的工作正在进行中，正在开发的资源正朝着更加系统化的方向发展。

差异逻辑是逻辑的组成部分，其对象是对逻辑描述的话语宇宙中的变化——变化、差异、分布和多样性的方面——的描述。一个如此宽泛的定义自然包含了通过数学模型对变化的任何研究，但微分逻辑特别负责遍及或先于定量模型的变化的定性方面。在逻辑探究使用形式系统的程度上，其微分组件处理微分逻辑演算的使用——一个具有表达能力的形式系统，用于描述逻辑话语世界中的变化和多样性。

元素

• 微分命题演算
• 第1部分•第2部分•附录•工具书类

• 微分逻辑•第1部分•第2部分•第3部分

• 微分逻辑与动态系统
• 第1部分•第2部分•第3部分•第4部分•第5部分
• 附录•工具书类

博客系列

• 微分逻辑•变化与差异的逻辑

• 微分命题演算•(1)•(2)•（3）•(4)•(5)•(6)•(7)•(8)•（9）•(10)•（11）•(12)•(13)•(14)•(15)•(16)•(17)•（18）•(19)•(20)•(21)•(22)•(23)•(24)•(25)•(26)•（27）•(28)•(29)•(30)•(31)•(32)•（33）•(34)•(35)•(36)•(37)
• 讨论•(1)•(2)•（3）•(4)•(5)•(6)•(7)•(8)•（9）

• 微分逻辑•(1)•(2)•（3）•(4)•(5)•(6)•(7)•(8)•（9）•(10)•（11）
• 评论•(1)•(2)•（3）•(4)•(5)•(6)•(7)
• 讨论•(1)•(2)•（3）•(4)•(5)•(6)•(7)•(8)•（9）•(10)•（11）•(12)•(13)•(14)•(15)•(16)

• 微分逻辑与动态系统
• 讨论•(1)•(2)•（3）•(4)•(5)•(6)•(7)

• 微分逻辑、动态系统、切线函数(1)
• 评论•(1)•(2)
• 讨论•(1)•(2)•（3）•(4)•(5)•(6)•(7)•(8)•（9）

建筑学

• 最小否定算子
• 仙人掌语言•第1部分•第2部分•第3部分

应用

• 微分分析图灵自动机

博客对话框

• 现在与未来同在•莱布尼兹•(1)•(2)
• 全过程，无悖论•(1)•(2)•（3）•(4)•(5)•(6)•(7)•(8)•（9）
• 时间、拓扑、微分逻辑•(1)•(2)•（3）•(4)•(5)•(6)

探索

• 弗兰克尔猜想•(1)•(2)•（3）•(4)•(5)•(6)•(7)•(8)•（9）•(10)•（11）•(12)

抄送：FB|差分逻辑•形式法则•妈妈^第个斯托登•Ontolog公司•Academia.edu学院
抄送：概念图•控制论•结构建模•系统科学