Super-Łukasiewicz logics expanded by $Δ$
Aldo V. Figallo, Aldo Figallo-Orellano, Martín Figallo
Abstract
Open-access reader
Aldo V. Figallo, Aldo Figallo-Orellano, Martín Figallo
Abstract
Open-access reader
Baaz's operator $Δ$ was introduced (by Baaz) in order to extend Gödel logics, after that this operator was used to expand fuzzy logics by Hájek in his celebrated book. These logics were called $Δ$-fuzzy logics. On the other hand, possibility operators were studied in the setting of Łukasiewicz-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-Łukasiewicz 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 Hájek's Łukasiwicz logic expanded with $Δ$.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Baaz's operator $Δ$ was introduced (by Baaz) in order to extend Gödel logics, after that this operator was used to expand fuzzy logics by Hájek in his celebrated book. These logics were called $Δ$-fuzzy logics. On the other hand, possibility operators were studied in the setting of Łukasiewicz-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-Łukasiewicz 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 Hájek's Łukasiwicz logic expanded with $Δ$.
Key concepts: Łukasiewicz logic, Monoidal t-norm logic, T-norm fuzzy logics, Mathematics, Operator (biology), Algebra over a field, Fuzzy logic, Context (archaeology)