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 ?
Based on this axiomatization of two-person games, we wrote a computer program (Tang and Lin 2011a) that generates many interesting theorems.
Van Den Brink, "Axiomatization of a class of share functions for n-person games," Theory and Decision, vol.
Szwarc, "On axiomatization of inconsistency indicators for pairwise comparisons," Fundamenta Informaticae, vol.
Hence, this axiomatization leads to an indeterminacy regarding which the new system is.
Axiomatization of classes and property restrictions can also be translated into first-order logic.
Novick, "An axiomatization of the median procedure on the n-cube," Discrete Applied Mathematics, vol.
with axiomatization: [mathematical expression not reproducible], the identity operator of [??] on [??], satisfying
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. What is important to note is that the products of scientific knowledge are always verifiable, though not always verified.
In 1888, Giuseppe Peano established the axiomatization of mathematics (an axiom is an empirical rule established in certain fields, and used without exceptions universally).
Although some of the cast are familiar, this section of the book brings out rather well the part of this debate in the early 1950s that took place around how to interpret the axiomatization of expected utility theory.