axiomatization

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 ?
It breaks down the mental automatisms generated by common day to day personal experience and it uses mathematical models and other specific methods, such as modeling, formalizing or axiomatization.
11) SEM: FOF theorems based on a specified axiomatization of a specified semantic domain.
In 1888, Giuseppe Peano established the axiomatization of mathematics (an axiom is an empirical rule established in certain fields, and used without exceptions universally).
Contemporary multiplication processes of indexes calculation formulas have two trends, one already visible of extrem axiomatization and mathematization, based on Torngvist and Divisia indexes models, which culminated with the school of axiomatic indexes, and another, of resumption of the logic stream of economic significance of index construction, specific for the latest international constructions at the end of the twentieth century, respectively the integration variants of additive construction patterns or additive-multiplicative mixed models, close to the significance of real phenomena.
We have a thoroughgoing dualism by Henry Stapp; at the other extreme, researchers from the lab of the late Pat Suppes have continued his lifetime's project of axiomatization to the point, if necessary, of introducing negative probabilities to preserve the ethos of objective description.
See Skaperdas (1996) for an axiomatization, and Konrad (2009) for a survey on several microfoundations.
Vandiver introduced the concept of semiring in [6], in connection with the axiomatization of the arithmetic of the natural numbers.
The assurance that her version of nomadic subjectivity will be "strictly non-profit" (page 8) feels rather empty when her entire conception of fluidity is predicated upon the axiomatization of previously overcoded identities by the movement of capital.
They give more detailed analyses to topics such as Husserl's view of geometry, his account of the paradoxes, completeness, axiomatization, sets and manifolds, and the principle of bivalence.