.png){kind=icon}
.png){kind=icon}
Return
Super-Lukasiewicz logics expanded by ⠂
.png){kind=icon}
PRE
AI
DOI：10.1016/j.fss.2023.108549.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Baaz's operator ⠂ was introduced (by Baaz) in order to extend Godel logics, after that this operator was used to expand fuzzy logics by Hajek in his celebrated book. These logics were called ⠂-fuzzy logics. On the other hand, possibility operators were studied in the setting of Lukasiewicz-Moisil algebras; curiously, one of these operators coincide with the Baaz's one. In this paper, we study the ⠂ operator in the context of (n-valued) Super-Lukasiewicz logics. An algebraic study of these logics is presented and the cardinality of Lindembaun-Tarski algebra with a finite number of variables is given. Finally, as a by-product, we present an alternative axiomatization of Hajek's Lukasiwicz logic expanded with ⠂. & COPY; 2023 Elsevier B.V. All rights reserved.
Keywords:
Super Lukasiewicz logics
Baaz's operator
Free algebras
Journal
IF:
2.7
Papers:
7.6K
Citations:
1.5W
View more organizations