Translation for 'axiomatization' from English to Portuguese

axiomatization

axiomatização {f}

• Quine set out neither axiomatization nor proof procedure for PFL.
• Formal axiomatization of the theory trace back to Heyting (1930), Herbrand and Kleene.
• This axiomatization is due to Felix Hausdorff.
• Dilworth (1940) was the first to study antimatroids, using yet another axiomatization based on lattice theory, and they have been frequently rediscovered in other contexts.
• In 2006, Corry was an invited speaker at the ICM in Madrid with a talk "On the origin of Hilbert's sixth problem: physics and the empiricist approach to axiomatization".

• However, there are probabilistic distributions that are not graphoids and, moreover, there is no finite axiomatization for probabilistic conditional dependencies.
• Suppes observes that von Neumann's axiomatization was modified by Bernays "in order to remain nearer to the original Zermelo system .
• In 1974 Jon Barwise provided an axiomatization of abstract model theory.
• Lejewski then goes on to extend this interpretation to the language of inclusion, and presents an axiomatization of an unrestricted logic.
• For another axiomatization of [...] , see Tarski's axiomatization of the reals.

• A more concise axiomatization of monadic Boolean algebra is (1) and (2) above, plus ∀("x"∨∀"y") = ∀"x"∨∀"y" (Halmos 1962: 21).