English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/154750
COMPARTIR / IMPACTO:
Estadísticas
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:
Título

Expanding FL e w with a Boolean connective

AutorErtola-Biraben, Rodolfo C.; Esteva, Francesc ; Godo, Lluis
Palabras claveResiduated lattices
Boolean connectives
Software engineering
Finite model property
Fecha de publicación2017
EditorSpringer
CitaciónSoft Computing 21: 97- 111 (2017)
ResumenWe expand FL e w with a unary connective whose algebraic counterpart is the operation that gives the greatest complemented element below a given argument. We prove that the expanded logic is conservative and has the Finite Model Property. We also prove that the corresponding expansion of the class of residuated lattices is an equational class. © 2016, Springer-Verlag Berlin Heidelberg.
URIhttp://hdl.handle.net/10261/154750
DOI10.1007/s00500-016-2275-y
Identificadoresdoi: 10.1007/s00500-016-2275-y
issn: 1433-7479
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.