Super-Łukasiewicz logics expanded by $\Delta$

Abstract

Baaz's operator $\Delta$ 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 $\Delta$-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 $\Delta$ 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 $\Delta$.