Busca avançada
Ano de início
Entree


Super-Lukasiewicz logics expanded by ⠂

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