返回
Super-Lukasiewicz logics expanded by ⠂
DOI:10.1016/j.fss.2023.108549.png)
摘要
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.
Keyword:
Super Lukasiewicz logics
Baaz's operator
Free algebras
期刊
IF:
2.7
论文数:
7.6K
被引数:
1.5W
机构
引用论文
“Leaky Bucket” of Kazakhstan’s Power Grid: Losses and Inefficient Distribution of Electric Power
Energies
IF0

