The computational complexity of determining logical relationships between English sentences featuring the temporal constructions in question is thus established.
However, he identifies no other problems with this conception of logical complexity, and provides no alternative account.
But, intuitively again, non-generality comes about by virtue of logical complexity, by virtue of the manner in which the components of a complex property are "woven together" logically, e.g., being smaller than every other prime number, possibly being the father of Xantippe, or being identical with Quine.
In addition to user evaluation, the scalability of SemPoD was also evaluated with respect to increasing complexity of queries, in terms of logical connectives used to compose the query, and sizes of data.
The clause complexity of clauses represents the logical development of text.
Post-coordination, i.e. the possibility to combine SNOMED CT concepts from different hierarchies, increases the logical complexity of the problem, e.g. combinations like an observable entity (tumour stage), a body structure (structure of thyroid) and a context-dependent category (family history of).
Indeed, a computer can be programmed to generate atomic formulas and build up from them other formulas of ever-increasing complexity using logical connectives ("not," "and," etc).
Indeed, a computer can be programmed to generate atomic formulas and build up from them other formulas of ever-increasing complexity using logical connectives ("not," "and," etc.) and operators ("for all" and "for some").
But evolution is likewise a necessary assumption, for given the way this universe works, the evolution of complexity is a logical and by now well-documented consequence.
Complexity results have further been used to address the problem of logical omniscience.
