您要查找的是不是：
- This makes classical logic a special fragment of computability logic. 这使经典逻辑成为可计算性逻辑的特殊片段。
- Classical logic has no ability of dealing with inconsistency, while hypo-logic can reason normally in an inconsistence situation. 经典逻辑不具备处理不协调性的能力,而次协调逻辑是一个能够在不协调的情况下进行正常推理的逻辑。
- So the consructine logic just negates the form which the law of exclueleel middlle is in the classical logic. 所以，构造性逻辑只是在形式上而非实质上否定了排中律。
- From the Beginning Talking about the Modernization of Classic Logic 从传统逻辑的现代化谈起
- Deviant logic is a logic branch which are made up of by denying or modifying some basic principles of classical logic, including Intuitionism Logic, Many-Valued Logic, etc. 变异逻辑是由否定或修改经典逻辑的某些基本假定而形成的逻辑分支，包括直觉主义逻辑，多值逻辑等。
- Besides classical logic, linear logic (understood in a relaxed sense) and intuitionistic logic also turn out to be natural fragments of computability logic. 除了经典逻辑之外，线性逻辑(在不严格的意义上理解)和直觉逻辑也转变成可计算性逻辑的自然片段了。
- Intuitionism questions the validity of law of excluded middle and the vaildity of indirect proof, and it indicates that classical logic is only a relative truth. 它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;
- Interest in classic music has revived recently. 近来对古典音乐的兴趣又浓厚起来。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- He fall into rapture over classic music. 他对古典音乐喜爱若狂。
- A proof theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux (analytic tableaux) have been proposed. 信念修正，由于新信息而调整信仰的过程，是应用溯因法的另一个领域。
- He likes pop; he doesn't care for classic music. 他喜欢流行歌曲，不喜欢古典音乐。
- "War and Peace" is a literary classic. 《战争与和平》是一部经典文学著作。
- She has a taste for classic music. 她喜欢古典音乐。
- The old gentleman had on a classic suit. 那位老年绅士穿著一套古朴的传统服装。
- This novel may well become a classic. 这本小说很可能成为经典著作。
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- A practitioner of a system of logic. 逻辑学家使用某一逻辑体系的人
- There is no logic in what she says. 她讲的话没有道理。
- Socrates laid the foundations of logic. 苏格拉底奠定了逻辑学的基础。
