English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/139432
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics

AutorConiglio, Marcelo E.; Esteva, Francesc; Godo, Lluis
Palabras claveIntermediate logic
Degree-preserving logic
Logical matrices
Paraconsistent and explosive logics
Truth-preserving logic
MV-algebras
Łukasiewicz logic
Fecha de publicación2016
EditorOxford University Press
CitaciónLogic Journal of the IGPL 24: 288- 320 (2016)
ResumenThe aim of this article is to explore the class of intermediate logics between the truth-preserving Łukasiewicz logic Ł and its degree-preserving companion Ł≤. From a syntactical point of view, we introduce some families of inference rules (that generalize the explosion rule) that are admissible in Ł≤ 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.
URIhttp://hdl.handle.net/10261/139432
DOI10.1093/jigpal/jzw006
Identificadoresdoi: 10.1093/jigpal/jzw006
issn: 1368-9894
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
LJIGPL_24(3)2016_288-320.pdf1,08 MBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.