classical logic

collocation in English

meanings of classicaland logic

These words are often used together. Click on the links below to explore the meanings. Or, see other collocations with logic.
classical
adjective
uk /ˈklæs.ɪ.kəl/ us /ˈklæs.ɪ.kəl/
traditional in style or form, or based on methods developed over a long period of time, and considered to be of ...
See more at classical
logic
noun[U]
uk /ˈlɒdʒ.ɪk/ us /ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more at logic

Examples of classical logic

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Unlike in classicallogic, we have no reason to expect that possible truth would be definable propositionally in terms of necessary truth.
We represent each news report as a conjunction of classicallogic literals.
However, for simplicity we prefer to stick to full classicallogic.
Using classicallogic, it is possible to extend every partial function to a total one.
A historical and critical account of classicallogic, based on truth, is given from this point of view.
It is based on the concept of proof or knowledge, rather than truth in classicallogic, to explain the meaning and use of logical connectives.
First, we provide a characterization of this notion in terms of provability in classicallogic.
All of them contain all of the intuitionistic theorems, and are contained in the theorems of classicallogic.
Axiomatically, the logic of here-and-there is intermediate between intuitionistic and classicallogic.
Moreover, this positive-negative asymmetry has an analogue in classicallogic.
The support is the generalization of the notion of the greatest unfounded set for classicallogic programs to the context of bilattices.
First, we might simply abandon classicallogic and adopt, for example, intuitionistic logic or linear logic instead.
The introduction of operators that are extra to classicallogic brands this as a "modal" logic.
This is the implication of classicallogic as described in section 2.
The proof theory is based on classicallogic, and in many respects these logics behave as classicallogic.
Each item of structured text can be represented by a formula of classicallogic.
Proof-theory started as a justification of the rules of logic, as they were given to us, that is, classicallogic.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Want to learn more?
Go to the definition of classical
Go to the definition of logic
See other collocations with logic

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。