Sentence examples for syntactic formulation from inspiring English sources

Conservativeness criterion (syntactic formulation): Any formula of \(L\) that is provable in \(L^\) is provable in \(L\).

So the epistemology of computer simulation needs to be sensitive to the particular syntactic formulation of a theory, and how well that particular formulation has been credentialed.

The syntactic formulation of a substructure in terms of arrangement might be a critical point for the underlying subgraph isomorphism algorithm.

The Eliminability criterion can be made precise thus: Eliminability criterion (syntactic formulation): For any formula \(A\) of \(L^\), there is a formula of \(L\) that is provably equivalent in \(L^\) to \(A\).

Observe that the satisfaction of Conservativeness and Eliminability criteria, whether in their semantic or their syntactic formulation, is not an absolute property of a definition; the satisfaction is relative to the ground language.

Children with SLI were identified by assessment on six tests assessing phonological processing, receptive and expressive vocabulary, receptive grammar, syntactic formulation and comprehension.

The syntactic and semantic formulations of the two criteria are plainly parallel.

Given the obvious dualities between the LEM and the Law of Bivalence on the one side, and (respectively, syntactic and semantic formulations of) the LNC on the other, it is not too difficult to envisage a 'sub-valuational' semantic approach, dual to the supervaluation strategy.

We may assume that \ \text{Form}_{\mathcal{L}}\) is always specified in the manner typified by propositional logic – i.e. as a set of syntactic primitives and inductive formulation rules.

A second group of theories attribute verb inflection errors to disruptions that arise during sentence formulation, either for syntactic reasons or due to impairments in making fine semantic distinctions between inflectional variants of a verb (+PAST → ate, hugged; +FUTURE → will eat, will hug).

These phrases were syntactically ambiguous between different syntactic roles.