classical logic
collocation in Englishmeaningsofclassicalandlogic
These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withlogic.
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 atclassical
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 atlogic
(Definition ofclassicalandlogicfrom theCambridge English Dictionary© Cambridge University Press)
Examplesofclassical 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 inclassicallogic, we have no reason to expect that possible truth would be definable propositionally in terms of necessary truth.
From theCambridge English Corpus
We represent each news report as a conjunction ofclassicallogicliterals.
From theCambridge English Corpus
However, for simplicity we prefer to stick to fullclassicallogic.
From theCambridge English Corpus
Usingclassicallogic, it is possible to extend every partial function to a total one.
From theCambridge English Corpus
A historical and critical account ofclassicallogic, based on truth, is given from this point of view.
From theCambridge English Corpus
It is based on the concept of proof or knowledge, rather than truth inclassicallogic, to explain the meaning and use of logical connectives.
From theCambridge English Corpus
First, we provide a characterization of this notion in terms of provability inclassicallogic.
From theCambridge English Corpus
All of them contain all of the intuitionistic theorems, and are contained in the theorems ofclassicallogic.
From theCambridge English Corpus
Axiomatically, the logic of here-and-there is intermediate between intuitionistic andclassicallogic.
From theCambridge English Corpus
Moreover, this positive-negative asymmetry has an analogue inclassicallogic.
From theCambridge English Corpus
The support is the generalization of the notion of the greatest unfounded set forclassicallogicprograms to the context of bilattices.
From theCambridge English Corpus
First, we might simply abandonclassicallogicand adopt, for example, intuitionistic logic or linear logic instead.
From theCambridge English Corpus
The introduction of operators that are extra toclassicallogicbrands this as a "modal" logic.
From theCambridge English Corpus
This is the implication ofclassicallogicas described in section 2.
From theCambridge English Corpus
The proof theory is based onclassicallogic, and in many respects these logics behave asclassicallogic.
From theCambridge English Corpus
Each item of structured text can be represented by a formula ofclassicallogic.
From theCambridge English Corpus
Proof-theory started as a justification of the rules of logic, as they were given to us, that is,classicallogic.
From theCambridge English Corpus
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 ofclassical
Go to the definition oflogic
See other collocations withlogic