Strict core fuzzy logics and quasi-witnessed models (Q634776)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strict core fuzzy logics and quasi-witnessed models |
scientific article |
Statements
Strict core fuzzy logics and quasi-witnessed models (English)
0 references
16 August 2011
0 references
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.
0 references
mathematical fuzzy logic
0 references
first-order logic
0 references
t-norm-based logic
0 references
Łukasiewicz logic
0 references
product logic
0 references
infinite-valued logic
0 references
witnessed models
0 references
strong completeness
0 references
0 references