Sentence examples for logic extension of from inspiring English sources

For another, although the notion of inductive support is analogous to the deductive notion of logical entailment, and is arguably an extension of it, there seems to be no inductive logic extension of the notion of logical inconsistency at least none that is inter-definable with inductive support in the way that logical inconsistency is inter-definable with logical entailment.

This study is original under two aspects: first, it is the logic extension of our series of studies on schedule-selective biochemical modulation as mentioned in the introduction (Sobrero et al, 1993, 1995, 2000, 2001; Aschele et al, 1998); second, it shows the feasibility of combining sequential MTX → FU with l-OHP.

Description logics extensions of RDF (Schema) like OIL [http://www.ontoknowledge.org/oil/] and DAML+OIL [http://www.daml.org/2001/03/daml+oil-index.html] that cannot be fully handled by Horn logic are provided as modules that interact with a description logic classifier, e.g. FaCT [http://www.cs.man.ac.uk/~horrocks/FaCT/], resulting in a hybrid rule language.

In this sense, classical logic is a special case of probability logic, or equivalently, probability logic is an extension of classical logic.

Independence friendly logic (IF logic, IF first-order logic) is an extension of first-order logic.

In this paper, we present a fuzzy logic-based extension of such semantic BIMs that provides support for imprecise knowledge representation and retrieval.

Fuzzy logic is an extension of Boolean logic created by (Zadeh [1965]) based on the theory of fuzzy sets, which is a generalization of the classical set theory.

Second-order logic is an extension of classical quantificational logic in which we allow for quantification into predicate position.

Such a logic is an extension of the description logic (mathcal {ALC}_{4}) [17], with the addition of the lower and upper approximation operators.

Second-order logic is an extension of first-order logic where, in addition to quantifiers such as "for every object (in the universe of discourse)," one has quantifiers such as "for every property of objects (in the universe of discourse)." This augmentation of the language increases its expressive strength, without adding new non-logical symbols, such as new predicate symbols.

The dominant goal, then, of philosophical logic is the extension of logical methods to nonmathematical reasoning domains.