Strict core fuzzy logics and quasi-witnessed models

DOI10.1007/S00153-011-0237-8MaRDI QIDQ634776zbMATH OpenOpenAlexFDO

Authors Marco Cerami, Francesc Esteva

Publication date 16 August 2011

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-011-0237-8

zbMATH Keywords

first-order logicinfinite-valued logicmathematical fuzzy logicproduct logicstrong completenesst-norm-based logicwitnessed modelsŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Review text

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.

Recommendations

• On witnessed models in fuzzy logic
• On witnessed models in fuzzy logic II
• On witnessed models in fuzzy logic. III: Witnessed Gödel logics
• scientific article; zbMATH DE number 2019828
• On the strict logic foundation of fuzzy reasoning
• scientific article; zbMATH DE number 1508188
• Fuzzy logics and fuzzy model theory
• STRONG TRUTH AND RULES OF INFERENCE IN FUZZY LOGIC AND APPROXIMATE REASONING
• scientific article; zbMATH DE number 2203356
• FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED

Cites work

• A complete many-valued logic with product-conjunction
• A proof of standard completeness for Esteva and Godo's logic MTL
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1526147 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• Implicational (semilinear) logics. I: A new hierarchy
• Making fuzzy description logic more general
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the scope of some formulas defining additive connectives in fuzzy logics
• On theories and models in fuzzy predicate logics
• On witnessed models in fuzzy logic
• On witnessed models in fuzzy logic II
• Provability in predicate product logic
• Residuated lattices. An algebraic glimpse at substructural logics

Cited in

(8)

• On the relationship between fuzzy description logics and many-valued modal logics
• On elementary equivalence in fuzzy predicate logics
• \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
• On witnessed models in fuzzy logic
• On witnessed models in fuzzy logic. III: Witnessed Gödel logics
• On witnessed models in fuzzy logic II
• On decidability of concept satisfiability in description logic with product semantics
• On the local modal product logic: standard completeness and decidability

This page was built for publication: Strict core fuzzy logics and quasi-witnessed models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q634776)