Sentence examples for area of logic from inspiring English sources

When (1), (2), and (4) are considered, the field is the central area of logic that is variously known as first-order logic, quantification theory, lower predicate calculus, lower functional calculus, or elementary logic.

The one that is considered the standard model in the area of logic of belief change was proposed by Alchourrón, Gärdenfors and Makinson in 1985 and is, nowadays, known as the AGM model.

This area of logic deserves, and urgently needs, to be studied by historians.

Although Bolzano did not directly influence modern developments — in the area of logic, for instance —, he obviously did achieve a very tangible "indirect" and subliminal effect.

Analysis of energy, power, performance, area of logic-gates, interconnect and signaling structures.

We anticipate that this will facilitate research both in the primary area of logic-based reasoning that underlies ontology technology and in cheminformatics, and pave the way for fruitful cheminformatician-logician collaborative opportunities.

Combinatory logic (henceforth: CL) is an elegant and powerful logical theory that is connected to many areas of logic, and has found applications in other disciplines, especially, in computer science and mathematics.

Aristotle's most important contributions in the areas of logic, scientific method, philosophy of nature, metaphysics, psychology, ethics, and politics.

In many areas of logic and philosophy, his views were close to Ockham's, although the extent of Ockham's influence on Buridan is not clear.

Abutting these interests are first-order classification theory (and model theory) and the interaction between model theory and other areas of logic, especially set theory and category theory.

Of a much less controversial nature is the extensive and fruitful use of recursive function theory and related areas of logic in formal grammars and in the formal models of language users.