Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/320270
Type: Artigo de Periódico
Title: On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
Author: Coniglio
ME; Esteva
F; Godo
L
Abstract: The aim of this article is to explore the class of intermediate logics between the truth-preserving Lukasiewicz logic L and its degree-preserving companion L=. From a syntactical point of view, we introduce some families of inference rules (that generalize the explosion rule) that are admissible in L= and derivable in L and we characterize the corresponding intermediate logics. From a semantical point of view, we first consider the family of logics characterized by matrices defined by lattice filters in [0,1], but we show there are intermediate logics falling outside this family. Finally, we study the case of finite-valued Lukasiewicz logics where we axiomatize a large family of intermediate logics defined by families of matrices (A, F) such that A is a finite MV-algebra and F is a lattice filter.
Subject: Aukasiewicz Logic
Truth-preserving Logic
Degree-preserving Logic
Mv-algebras
Intermediate Logic
Paraconsistent And Explosive Logics
Logical Matrices
Editor: OXFORD UNIV PRESS
Rights: fechado
Identifier DOI: 10.1093/jigpal/jzw006
Address: http://jigpal-oxfordjournals-org.ez88.periodicos.capes.gov.br/content/24/3/288
Date Issue: 2016
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
000377662400005.pdf483.75 kBAdobe PDFView/Open


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