⇄Change DirectionTranslation for 'axiomatization' from English to Portuguese
NOUN   axiomatization | -
axiomatização {f}axiomatization
1 translation
To translate another word just start typing!

Translation for 'axiomatization' from English to Portuguese

axiomatização {f}
Usage Examples English
  • 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).
© Portuguese-English dictionary 2023
Contains translations by TU Chemnitz and Mr Honey's Business Dictionary (German-English only).
Links to this dictionary or to individual translations are very welcome!