Strict core fuzzy logics and quasi-witnessed models (Q634776)

This paper generalizes and unifies results on first-order infinite-valued Łukasiewicz logic by \textit{P. Hájek} and \textit{P. Cintula} [J. Symb. Log. 71, No. 3, 863--880 (2006; Zbl 1111.03030)] and on first-order product logic by \textit{M. C. Laskowski} and \textit{S. Malekpour} [Arch. Math. Logic 46, No. 5--6, 365--378 (2007; Zbl 1121.03035)]. The truth degrees of quantified formulas in infinite-valued logics are usually infima or suprema over the truth degrees of all their instances. They need not be minima or maxima, i.e., these quantified formulas need not have witnessing instances. In witnessed models each quantified sentence has a witnessing instance. The paper's quasi-witnessed models relax this property and do not claim it for universally quantified sentences evaluated with the degree zero. The authors prove here a strong completeness theorem, with respect to a semantics determined by all quasi-witnessed models, for certain first-order mathematical fuzzy logics extended by suitable quasi-witnessed axioms.