阶逻辑 meaning in English
order logic
Examples
- An algebraic proof of completeness theorem of first - order logic
一阶逻辑完备性定理的代数证明 - Generating sat instances from first - order formulas
由一阶逻辑公式得到命题逻辑可满足性问题实例 - An axiomatics for first - order logic
经典一阶逻辑的希尔伯特型系统 - Proving several theorems in first order logic based on back - and - forth method
向前向后法证明一阶逻辑的几个定理 - Second - order logic
高阶逻辑