The first part analyzes the differences and contacts on syntax between IF first-order logic and classic first-order logic after a discussion about quantifiers.
第一部分：从对量词的讨论入手，分析了IF一阶逻辑与经典一阶逻辑在形式上的区别和联系。
参考来源 - 辛提卡IF一阶逻辑研究·2,447,543篇论文数据，部分数据来源于NoteExpress
连续一阶逻辑是经典一阶逻辑的一个类比。
Continuous first-order logic is an analog of classical first-order logic.
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
应用推荐