On axiomatization of many-valued logics associated with formalization of plausible reasonings (Q918536)

This paper presents sufficient conditions for the axiomatizability of a class of infinite-valued logics with an arbitrary finite number of types of truth-value. These logics are many-sorted predicate logics with quantifiers over finite sequences of variable length; they are meant to formalize systems of plausible reasoning of, for example, Mill's inductive methods. The logics are defined semantically. To axiomatize them is to construct an axiomatic system which is consistent and complete with respect to their semantic definition.