Sentence examples for consistent fragments from inspiring English sources

If Tupailo's theory is not a fragment of Grishin's, it represents a fourth known method of getting consistent fragments.

To be more precise, a (finite) set of formulas, Σ, can be partitioned into classically consistent fragments whose union is Σ.

If we define a consequence relation over some maximally consistent subset, then the relation can be thought of as preserving the level of consistent fragments.

The Logics of Formal Inconsistency (LFIs) are a family of paraconsistent logics that constitute consistent fragments of classical logic yet which reject explosion principle where a contradiction is present.

One may claim that the set of (selected) worlds that make such stories true just has to be split into disjoint subsets, making true consistent fragments of the fiction.

In order to capture the inference mechanism underlying the infinitesimal calculus of Leibniz and Newton (and Bohr's theory of the atom), we need to add to the chunking a mechanism that allows a limited amount of information to flow between the consistent fragments of these inconsistent but non-trivial theories.

It is of some interest whether this new fragment represents an independent way of getting a consistent fragment of NF.

Rather than using restrictive enzyme (RE) as done in conventional Hi-C, which generates predictable and consistent fragment ends, DNase I produces a heterogeneous mixture of fragment ends that greatly improves the efficiency and resolution.

pneumoniae data set is consistent with fragments identified using a different method in two Str.

The relationship seen between LCA, SPANNER and best BLAST was consistent for fragments of length 200 and 1000 nt, overall accuracies were better (1.03, 1.09 and 1.04 times better for species, genus and class levels of novelty, respectively) on 1000 bp fragments.

A representative fragment pair {(x p, y p ), (x q, y q )} is consistent with fragment pair {(x p, y p ),(x q, y q )} if |(x p − x q ) − (x p − x q )| < c, where c is some cutoff (default 10).