2022arXiv (Cornell University)Open access

Super-Łukasiewicz logics expanded by $Δ$

Aldo V. Figallo, Aldo Figallo-Orellano, Martín Figallo

Open full text 0 citations

Abstract

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 $Δ$.

Open-access reader

About this research paper

What this paper is about

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 $Δ$.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

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)

Related papers

Back to paper searchBrowse research topicsOriginal source
Super-Łukasiewicz logics expanded by $Δ$ — Research Paper | ScholarLens