English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/154750
Share/Impact:
Statistics
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:

Title

Expanding FL e w with a Boolean connective

AuthorsErtola-Biraben, Rodolfo C.; Esteva, Francesc ; Godo, Lluis
KeywordsResiduated lattices
Boolean connectives
Software engineering
Finite model property
Issue Date2017
PublisherSpringer
CitationSoft Computing 21: 97- 111 (2017)
AbstractWe 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
Identifiersdoi: 10.1007/s00500-016-2275-y
issn: 1433-7479
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
View/Open
Show full item record
Review this work
 

Related articles:


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.