axiomatize

(redirected from axiomatized)

axiomatize

(ˌæksɪˈɒməˌtaɪz) or

axiomatise

vb (tr)
to reduce to a system of basic truths or axioms
Translations
axiomatizovat
References in periodicals archive ?
assuming he successfully axiomatized it, actually solved the proof
Later De Luca-Termini [4] axiomatized the non-probabilistic entropy.
The result is nonetheless a little disturbing, especially as the failure of a theory to be finitely axiomatizable can sometimes be blandly redressed: a recursively axiomatizable theory with no finite models can always be finitely axiomatized by rewriting it in a richer language (Kleene 1967).
For instance, it may be that from the perspective of cognitive psychology, the kind at issue will turn out to be what is said in the constrained sense, while from the perspective of an axiomatized logic for natural languages, the kind of interest might be what is said in the austere sense.
In this article, we consider a smooth ambiguity preference axiomatized by Klibanoff, Marinacci, and Mukerji (2005).
2]), and C[phi] ('it is common knowledge that [phi], which is axiomatized such that it resembles the infinite conjunction E[phi] [conjunction] EE[phi] [conjunction] EEE[phi] [conjunction] .
These preferences are a special case of the more general ambiguity-averse preferences axiomatized by Klibanoff, Marinacci, and Mukerji (2009).
Hirshleifer (1989) named it and established its main properties and Skaperdas (1996) axiomatized the additive CSF.
The list includes Lexical Semantics, (with WordNet as an example), Axiomatized Semantics (exemplified by several domain-dependent knowledge bases, as well as by Cyc), Statistical approaches (used for tasks such as deriving grammar rules from a corpus, or extracting relations from text), Knowledge Soup (Sowa 1990, 2000):
Suggested Upper Merged Ontology (SUMO) [28] also includes a subset related to finance domain, which is richly axiomatized, not just taxonomic information but with terms formally defined.
Hegel captures the axiomatized flows of capital as they capture desire and force it to produce more capital.
Even though the notion of structure for Bourbaki as an axiomatized collection of relationships between elements of a set Bourbaki's influence on 1960s French structuralism slipped back into folklore.