摘要: The logic of inexactness, presented in this paper, is a version the Łukasiewicz with predicates valued [0, ∞). We axiomatize multi-valued models equality and ordering guaranteeing their imbeddibility real line. Our axioms ordering, when interpreted as proximity dominance, can be applied to foundations measurement (especially social sciences). In two-valued they provide theories ratio scale measurement. multivalued enable us treat formally errors arising nominal ordinal measurements.