Sentence examples for based on classical logic from inspiring English sources

In proposing our approach, we acknowledge the interesting previous efforts to develop a logical language for biology, based on classical logic [18], [19], [20].

Now, as you may know, in a system based on classical logic (which is the logic he used), if one can prove so much as a single contradictory proposition, then one can prove any proposition, hence the whole system breaks down.

To better explore this issue, we use quantified Boolean formulae to characterise an approach to argumentation based on classical logic.

A fundamental problem in knowledge representation is that reasoning, if based on classical logic, is inherently intractable or even undecidable.

Recently, the field of inconsistency measurement has gained some attention for knowledge representation formalisms based on classical logic.

We explore a framework for argumentation (based on classical logic) in which an argument is a pair where the first item in the pair is a minimal consistent set of formulae that proves the second item (which is a formula).

It is well-known that intuitionistic propositional logic can be faithfully embedded into the normal modal logic S4, which, like K, is based on classical propositional logic (cf. the entries logic: intuitionistic and logic: modal).

But if we abandon the simplifying assumption that everyday reasoning is based on classical propositional logic, then validity and consistency checking only become harder.

But it agrees better with his general outlook because it is still based on classical propositional logic, a system to which Mally did not object (not that he had much choice in the 1920s).

To illustrate the construction of a union based on classical (binary) logic, consider two events.

One could imagine a geometry based not on classical logic, but, e.g., on intuitionistic logic, where principles such as the excluded third, i.e., \(p\) or not-\(p\), for any statement \(p\), or double negation, i.e., if not-not-\(p\) then \(p\), no longer hold.