First-order Logic 一阶逻辑 ; 初阶逻辑 ; 一阶谓词逻辑
Semigroups underlying first-order logic 一阶逻辑之下的半群
first-order logic model 一阶逻辑模型
fuzzy first-order logic 模糊一阶逻辑
fuzzy first order logic 模糊一阶逻辑
first-order logic system 一阶逻辑系统
Monadic first-order logic 一元谓词演算
fuzzy first - order logic 模糊一阶逻辑
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
应用推荐