Fixpointed Idempotent Uninorm (Based) Logics

Eunsuk Yang
Additional contact information
Eunsuk Yang: Department of Philosophy & Institute of Critical Thinking and Writing, Colleges of Humanities & Social Science Blvd., Chonbuk National University, Rm 417, Jeonju 54896, Korea

Mathematics, 2019, vol. 7, issue 1, 1-15

Abstract: Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not. Recently, fixpointed uninorm mingle logic ( fUML ) was introduced, and its standard completeness, i.e., completeness on real unit interval [ 0 , 1 ] , was proved by Baldi and Ciabattoni. However, their proof is not algebraic and does not shed any light on the algebraic feature by which an idempotent uninorm is characterized, using operations defined by a fixpointed negation. To shed a light on this feature, this paper algebraically investigates logics based on fixpointed idempotent uninorms. First, several such logics are introduced as axiomatic extensions of uninorm mingle logic ( UML ). The algebraic structures corresponding to the systems are then defined, and the results of the associated algebraic completeness are provided. Next, standard completeness is established for the systems using an Esteva–Godo-style approach for proving standard completeness.

Keywords: substructural fuzzy logic; algebraic completeness; standard completeness; fixpoint; idempotent uninorm (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2019
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/7/1/107/pdf (application/pdf)
https://www.mdpi.com/2227-7390/7/1/107/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:7:y:2019:i:1:p:107-:d:199315

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().