Abstract

AbstractThe quest for basic fuzzy logic was initiated by Petr Hájek when he proposed his basic fuzzy logic BL, complete with respect to the semantics given by all continuous t-norms. Later weaker systems, such as MTL, UL or \(\mathrm{psMTL}^r\), complete with respect to broader (but still meaningful for fuzzy logics) semantics, have been introduced and disputed the throne of the basic fuzzy logic. We contribute to the quest with our own proposal of a basic fuzzy logic. Indeed, we put forth a very weak logic called \(\mathrm {SL}^\ell \), introduced and studied in earlier works of the authors, and propose it as a base of a new framework which allows to work in a uniform way with both propositional and first-order fuzzy logics.Keywords Mathematical fuzzy logicBasic fuzzy logicT-NormCore fuzzy logicsCore semilinear logicsNon-associative substructural logicsStandard completeness

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

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.