Continuous first-order logic is an analog of classical first-order logic.

连续一阶逻辑是经典一阶逻辑的一个类比。

youdao

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

youdao

This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

youdao

It is written in long and run-on sentences that overwhelm the sense of order and logic.

CNN: VIEWS FROM THE FRINGE

Hierarchical systems find their roots in modernist models of creating systems of certainty and security through highly delineated boundaries of function, structure, order and logic.

FORBES: The Case for Crowdsourcing Innovation and Social Change

But given everything the company has riding on iTunes, the idea of rebuilding the program from scratch (or more likely, breaking it into several programs, in order to bring some logic to the media management madness) must seem incredibly risky and ambitious.

FORBES: Why iTunes Is The William Shatner Of Software