English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/138239
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 Minimum Many-Valued Modal Logic over a Finite Residuated Lattice

AutorBou, Felix; Esteva, Francesc; Godo, Lluis; Rodriguez, Ricardo O.
Palabras claveFuzzy logic
Many-valued modal logic
Modal logic
Substructural logic
Many-valued logic
Fecha de publicación2011
EditorOxford University Press
CitaciónJournal of Logic and Computation 21: 739- 790 (2011)
ResumenThis article deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated in the residuated lattice (and so defining the minimum modal logic), the ones evaluated in the idempotent elements and the ones only evaluated in 0 and 1. We show how to expand an axiomatization, with canonical truth-constants in the language, of a finite residuated lattice into one of the modal logic, for each one of the three basic classes of Kripke frames. We also provide axiomatizations for the case of a finite MV chain but this time without canonical truth-constants in the language. © 2009 The Author.
URIhttp://hdl.handle.net/10261/138239
DOI10.1093/logcom/exp062
Identificadoresdoi: 10.1093/logcom/exp062
issn: 0955-792X
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
accesoRestringido.pdf15,38 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 

Artículos relacionados:


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