Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/340420
Type: Artigo
Title: Maximality in finite-valued Lukasiewicz logics defined by order filters
Author: Coniglio, Marcelo E.
Esteva, Francesc
Gispert, Joan
Godo, Lluis
Abstract: In this paper we consider the logics L-n(i) obtained from the (n + 1)-valued Lukasiewicz logics Ln+1 by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality among them are analyzed. We present a very general theorem that provides sufficient conditions for maximality between logics. As a consequence of this theorem, it is shown that L-n(i) is maximal w.r.t. CPL whenever n is prime. Concerning strong maximality (i.e. maximality w.r.t. rules instead of only axioms), we provide algebraic arguments in order to show that the logics L-n(i) are not strongly maximal w.r.t. CPL, even for n prime. Indeed, in such case, we show that there is just one extension between L-n(i) and CPL obtained by adding to L-n(i) a kind of graded explosion rule. Finally, using these results, we show that the logics L-n(i) with n prime and i/n < 1/2 are ideal paraconsistent logics
Subject: Lógica paraconsistente
Country: Reino Unido
Editor: Oxford University Press
Rights: Fechado
Identifier DOI: 10.1093/logcom/exy032
Address: https://academic.oup.com/logcom/article/29/1/125/5165625
Date Issue: 2019
Appears in Collections:IFCH - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
000462159100006.pdf1 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.