Abstract
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion, the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counterexample to Conjectures 1 and 2 of [8].KeywordsEquality-free languagefuzzy predicate logicmodel theoryelementary extensionselementary equivalence
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have