Abstract
AbstractWe investigate quantifier elimination of first order logic over fuzzy algebras. Fuzzy algebras are defined from continuous t-norms over the unit interval, and subsume Łukasiewicz [28, 29], Gödel [16, 12] and Product [19] Logic as most prominent examples.We show that a fuzzy algebra has quantifier elimination iff it is one of the abovementioned logics. Moreover, we show quantifier elimination for various extensions of these logics, and observe other model-theoretic properties of fuzzy algebras.Further considerations are devoted to approximation of fuzzy logics by finite-valued logics.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.