Sentence examples for theoretic side of from inspiring English sources

The set theoretic side of our story is connected to two axioms, the Foundation Axiom and the Anti-Foundation Axiom.

As already noted, the proof-theoretic side of logic is not pursued much in his work.

Besides the model-theoretic side, axiomatic investigations of truth and related paradoxes have become increasingly important since the seminal papers of Friedman and Sheard 1987, Feferman 1991.

On the model-theoretic side, an innovative feature of DL is the move to a multi-sorted interpretation.

On the theoretical side, decision-theoretic justifications of this construction have been proposed (Holder et al., 2003; Huggins et al., 2011).

On the proof-theoretic side iterating truth theories in the style of T PA) corresponds to iterating elementary comprehension, that is, to iterating ACA.

On the proof-theoretic side, a cut-elimination theorem for a sequent presentation of DL establishes decidability.

This optimality is defined by an information theoretic measure of concordance between the partition of the sample set according to genotypes and the partition of the sample set defined by the two sides of a metabolite level threshold.

We propose a theoretic modelization of the action of music therapy applied to the inhibition of highly gifted underachievers, distinguishing on the one side short term stimulating and equilibrating effects, on the other side long term restructuring effects.

Theoretic YR of echocardiography was calculated for each classification.

However, the theoretic endeavor of Avempace in his Book of animals seems to be more relevant.