This paper presents a class of plausible definitions for validity of formulas in the infinitely-many-valued extension of the Łukasiewicz predicate calculus, and shows that all of them are equivalent. This extended system is discussed in some form in [3] and [4]; the questions discussed here are raised rather briefly in the latter.
We first describe the formal framework for the validity definition. The symbols to be used are the following: the connectives + and ‐, which are the strong disjunction B of [2] and negation respectively; the predicate variables Pi for i ∈ I, where I may be taken as the integers; the existential quantifiers E(J), where J⊆I, and I may be thought of as the index set on the individual variables, which however do not appear explicitly in this formulation.