Collocations withlogic
These are words often used in combination withlogic.
Click on a collocation to see more examples of it.
basic logic
The basic logic of this approach is as follows.
From theCambridge English Corpus
boolean logic
Backjumping for quantified boolean logic satisfiability.
From theCambridge English Corpus
certain logic
The sparsity of resources within a mobile animal's domain compels a certain logic, one that all energy-consuming autonomous agents must follow.
From theCambridge English Corpus
classical logic
Unlike in classical logic, we have no reason to expect that possible truth would be definable propositionally in terms of necessary truth.
From theCambridge English Corpus
deductive logic
On this program, the axioms of arithmetic were theorems of deductive logic and thus regarded as known by inference from the axioms of logic.
From theCambridge English Corpus
first-order logic
The majority of the work in knowledge discovery via evolutionary computation has used various restricted forms of first-order logic as a hypothesis language.
From theCambridge English Corpus
formal logic
Let us move to formal logic.
From theCambridge English Corpus
inductive logic
Learning semantic grammars with constructive inductive logic programming.
From theCambridge English Corpus
inexorable logic
The social scientific explanation describes anonymous structural forces, the "resource curse" of the "rentier state," and how these have shaped politics and markets with their inexorable logic.
From theCambridge English Corpus
informal logic
One surprise for informal logic is that the technique of argument diagramming was not invented within the recent research in informal logic and argumentation theory.
From theCambridge English Corpus
inner logic
An inner logic, elusive and yet compelling, lends an unexpected substance to this work of modest dimensions.
From theCambridge English Corpus
internal logic
Then g =.() fold f holds in the internal logic.
From theCambridge English Corpus
linear logic
The linear logic rule that combines the two premises is implication elimination.
From theCambridge English Corpus
logic controller
Results show that the fuzzy logic controller is effective in controlling the leg machine.
From theCambridge English Corpus
logic function
Thus, in the above example, the logic function simplifies to the exclusive 'or' function, which is the negation of the equivalence.
From theCambridge English Corpus
logic programming
Unlike most of these previous works on abduction in the logic programming framework, in this paper we study abduction with penalization from logic programs.
From theCambridge English Corpus
modal logic
In this paper we have also shown how lax logic can be embedded naturally in modal logic with necessity and possibility.
From theCambridge English Corpus
perverse logic
It is unable to get away from the perverse logic of national contributions and step up the debate.
FromEuroparl Parallel Corpus - English
programmable logic
The control store on some minicomputers was one or more programmable logic array chips.
From
Wikipedia
propositional logic
This calculus has a notion of type assignment that corresponds nicely to implicational propositional logic, in the framework of natural deduction.
From theCambridge English Corpus
pure logic
As a matter of pure logic, this does not follow.
From theCambridge English Corpus
quantum logic
All the axioms and rules of traditional quantum logic are satisfied by our testable formulas.
From theCambridge English Corpus
sound logic
I submit that that is sound logic, and it is an absolutely precise test.
From the
Hansard archive
Example from the Hansard archive. Contains Parliamentary information licensed under theOpen Parliament Licence v3.0
strict logic
We were to a certain extent, in relation to close corporations, departing only from the strict logic of the original proposals.
From the
Hansard archive
Example from the Hansard archive. Contains Parliamentary information licensed under theOpen Parliament Licence v3.0
structural logic
That this element has a more than structural, utilitarian, profane role, is underlined by it being asymmetrical when structural logic would demand symmetry.
From theCambridge English Corpus
symbolic logic
Philosophy best advanced through the study of the then-new symbolic logic and of the sciences most subject to mathematical representation.
From theCambridge English Corpus
temporal logic
We accomplish automated verification using a temporal logic and model-checking techniques, allowing us to reuse existing algorithms and results for trace effect verification.
From theCambridge English Corpus
underlying logic
It is motivated by applications to legal disputes, reflected by is its underlying logic, which was especially developed for modelling legal reasoning.
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.