Sentence examples for logical machinery from inspiring English sources
The logical machinery of description logics, implemented in reasoning engines, was an indispensable part of the mapping process, which, ultimately, not only provided a consistent mapping ontology but contributed, by large, to error detection and improvement of BioTop.
In philosophy, just as in mathematics, Russell believed that it was by applying logical machinery and insights that advances in analysis would be made.
The hybrid logical machinery originally invented by Prior in the late 1960s was reinvented in the 1980s by Solomon Passy and Tinko Tinchev from Bulgaria, see Passy and Tinchev (1985) as well as Passy and Tinchev (1991).
Even so, he does not use this logical machinery to explain the relationship between absolute and non-absolute categories, but only to clarify the relations between genus and difference, essence and being (esse).
Logical machinery provided by Tarski (1935) can be used to turn this simplified sketch into a more general definition of truth a definition that handles sentences containing relational predicates and quantifiers and covers molecular sentences as well.
In these proposals, the spread of HD-confirmation upon frivolous conjunctions can be blocked at the expense of some additional logical machinery (see Gemes 1993, 1998; Schurz 1991, 1994).
Here I consider the logical structure of the machinery responsible for these two activities.
Ferrari's Fernando Alonso, meanwhile, placed a disappointing eighth, which he deemed "logical," a result of inferior machinery.
Moreover, from the enhanced SRY expression in blood, it is logical to construe that transcriptional machinery failed to discriminate between normal and altered versions of a duplicated gene.
In the presence of abundant mRNA transcripts, it is logical to construe that transcriptional machinery failed to discriminate between normal and altered versions of a duplicated gene.
It's a simple enough piece of machinery, it seems only logical that it be built into my keyboard.
