Sentence examples for theoretic means from inspiring English sources

Besides these developments inside pure many-valued logic, Zadeh (1965) started an (application oriented) approach toward the formalization of vague notions by generalized set theoretic means, which soon was related by Goguen (1968/69) to philosophical applications, and which later on inspired also a lot of theoretical considerations inside MVL.

Kotlarski, Krajewski, and Lachlan (1981) proved the conservativeness very similar to PA + axioms 1 6 by model-theoretic means.

This leads to the following result: All the material needed for analysis, including all rational and irrational numbers, can be constructed out of the natural numbers by set-theoretic means.

To say that a formula is model-theoretically valid means that there are no set-theoretic structures in which it is false; hence, to say that a formula is not model-theoretically valid means that there are set-theoretic structures in which it is false.

Unlike Carnap, Weyl did not characterize the interpretation of theoretical terms by means of model-theoretic notions.

In group-theoretic terms, this means that the initial symmetry group is broken to one of its subgroups.

Proof-theoretic semantics also means the semantics of proofs, i.e., the semantics of entities which describe how we arrive at certain assertions given certain assumptions.

By means of theoretic thermodynamic calculation of the hydrogen and oxygen thruster, combined with the experimental exploration on the coaxial hydrogen and oxygen resonance ignition, a scheme of the thruster head configuration is designed as the combination of a coaxial hydrogen/oxygen resonance igniter and an oxygen augmentation injector.

If we treat all reactions equal (the essence of the graph theoretic approach), then independence means that the connections within the network module should be denser than the connections out of the module.

Multicell joint processing has originated from information-theoretic principles as a means of reaching the fundamental capacity limits of cellular networks.

In fact η-systematics reveal new magic numbers in the drip-line regions giving rise to new islands of stability supported by relativistic mean field theoretic calculations.