axiomatization

(redirected from Axiomatisation)

axiomatization

(ˌæksɪˌɒmətaɪˈzeɪʃən) or

axiomatisation

n
the process of reducing down to a system of basic truths, or axioms
References in periodicals archive ?
En respectant une distance instrumentale, il est opportun de graduer le theme de la transmission de l'information selon les principaux modeles proposes dans la discipline puisque chacun de ceux-ci repose sur des postulats specifiques produits par axiomatisation.
As happens with abstract algebras, axiomatisation models have been created in order to prove that two process terms are bisimilar, meaning that they are behaviourally equivalent.
in challenging not only the axiomatisation of established geographical categories but also of the emergent ones.
Empirical stream and its origins were under the pressure of increasing axiomatisation and quantification of theories, what led to disharmony between theory and practice of management.
Because of the axiomatisation inherent in Euclidean geometry, topics related to classifying shapes and their relationships are promising for engaging students in the act of defining, characterising, and comparing.
3 contains an axiomatic description of small quantaloids of closed cribles, we can now give an axiomatisation of Grothendieck quantaloids.
This was the case with Frege when developing an axiomatisation of arithmetic before Russell's discovery of the paradox.
So N is not a very good representation of T; and Ax is a rather poor axiomatisation of T in the language L (note however, that no better axiomatisation of T in L is available, as the same problem recurs with any other set of axioms).
The more general form is needed if we move to a second-order axiomatisation in which we quantify over the variable place occupied by schematic [Phi].
Secondly, it cannot address the question of whether independence and ordering have a common consequentialist justification or whether, as my axiomatisation suggests, their consequentialist underpinnings are parallel but distinct.
Woeginger's axiomatisation of the h-index and its relation to the g-index, the h(2)-index and the R2-index.
Here the virtue is that which prompts the axiomatisation of mathematical theories.