Sentence examples for relation by means of from inspiring English sources

For example we define classical propositional consequence by means of truth valuations, first-order consequence relation by means of structures, the intuitionistic consequence relation by means of Kripke models, etc.

One can define a substitution-invariant consequence relation by means of a proof system like a Hilbert style axiom system, a Gentzen calculus or a natural deduction style calculus, etc.

In 1990, Dubois and Prade [6] initially proposed the concept of fuzzy rough sets by constructing a pair of upper and lower approximation operators of fuzzy sets with respect to a fuzzy similarity relation by means of the t-norm Min and its dual conorm Max.

Using this relation, by means of successive action of the raising operator a 1 + we can construct Landau levels for electron [18] with energies E n L = s n 2 n v F l H (3). and wave functions ψ n k ( r ) = 2 δ n 0 - 1 s n ϕ n - 1, k ( r ) ϕ n k ( r ).

Based on distance, relation by means of preposition near or far, as well as adjacency relation, can be defined.

In a paper from 1882, "Brief Description of the Algebra of Relatives", reprinted in De Morgan 1966, he used these quantifiers to define operations on relations by means of operations on certain kind of coefficients.

First, an analysis and comparison of averaged local velocities is performed to compare the similarity of the simulation approach with empirical relations by means of the void fraction and the velocity distributions.

Its task is to establish relations between phenomena, functions and formations and to investigate the origins of complex relations in simple relations, fixed by means of definition, and to determine the structural laws to which they obey.

We shall eliminate the inertial terms on the right-hand side of the relation (17) by means of the equations of motion for the differences ( v i, χ ).

One can also define a substitution-invariant consequence relation semantically by means of a class of mathematical objects (algebras, Kripke models, topological models, etc).

Here we follow the OBO standard and introduce, for this purpose, the taxonomic subsumption relation Is_a by means of instance_ of just as proposed by Smith et al. (2005): In the following discussion, we are proposing several possible alternative solutions for an ontological account of species.