Sentence examples for trivial system from inspiring English sources

Since classical propositional logic is Post-complete, any additional axiom in its language gives rise to the trivial system, so that any non-trivial system of connexive logic will have to leave out some theorems of classical logic.

This logic, however, is the trivial system (a fact not noticed in Wansing 2005 (Section 6) but pointed out in the online version of this paper).

Consider the trivial system = (p1 + p2)· x1 with y1 = x1.

This trivial system has a low efficiency; the fraction of protons within the useful ±2.5% dose region is only 5% and the transverse dose distribution is not exactly flat even over a small region.

are essential characteristics of any non-trivial system.

It is a real and non-trivial system that uses technologies common in day-to-day software development, such as GUI, persistence, concurrency, RMI, Servlets, and JDBC (Greenwood et al. 2007).

Since every non-trivial system of connexive logic has to omit some classical tautologies, and since the standard paradoxes of non-relevant, material implication can be avoided by rejecting Conjunctive Simplification, i.e., (A ∧ B) → A and (A ∧ B) → B, Routley requires for a connexive logic the rejection or qualification of Conjunctive Simplification (or equivalent schemata).

Mortensen (1984) pointed out that there are inconsistent but non-trivial systems satisfying both AT′ and Simplification.

For many non-trivial systems, the original FSP technique has been shown to yield accurate approximations to the CME solution.

The fabrication of coplanar hybrid devices is a fundamental step to pave the way to the understanding of proximity effects in topologically non-trivial systems, and to a large variety of experiments aimed at the possible detection of MBS.

Existing models used to describe the impact of adaptations are either unable to capture the underlying uncertainty and variability of such dynamic environments, or are not compositional and described at a level of abstraction too low to scale in terms of specification effort required for non-trivial systems.