| Texto completo | |
| Autor(es): |
Figallo, A. V.
;
Figallo-Orellano, A.
;
Figallo, M.
Número total de Autores: 3
|
| Tipo de documento: | Artigo Científico |
| Fonte: | FUZZY SETS AND SYSTEMS; v. 465, p. 26-pg., 2023-05-25. |
| Resumo | |
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) | |
| Processo FAPESP: | 21/04883-0 - Teoria paraconsistente de conjuntos |
| Beneficiário: | Aldo Figallo Orellano |
| Modalidade de apoio: | Auxílio à Pesquisa - Jovens Pesquisadores |
| Processo FAPESP: | 22/03862-2 - Métodos de Teoria da Prova para LFIs e Outras Lógicas Não-clássicas: Decidibilidade e Aplicações |
| Beneficiário: | Marcelo Esteban Coniglio |
| Modalidade de apoio: | Auxílio à Pesquisa - Pesquisador Visitante - Internacional |