| Full text | |
| Author(s): |
Figallo, A. V.
;
Figallo-Orellano, A.
;
Figallo, M.
Total Authors: 3
|
| Document type: | Journal article |
| Source: | FUZZY SETS AND SYSTEMS; v. 465, p. 26-pg., 2023-05-25. |
| Abstract | |
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. (AU) | |
| FAPESP's process: | 21/04883-0 - Paraconsistent set theory |
| Grantee: | Aldo Figallo Orellano |
| Support Opportunities: | Research Grants - Young Investigators Grants |
| FAPESP's process: | 22/03862-2 - Proof-theoretical methods for LFIs and other non-classical logics: decidability and applications |
| Grantee: | Marcelo Esteban Coniglio |
| Support Opportunities: | Research Grants - Visiting Researcher Grant - International |