Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/241030
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Expanding FLew with a Boolean connective |
Autor: | Ertola, Rodolfo; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID | Fecha de publicación: | ene-2017 | Editor: | arXiv | Citación: | Rodolfo Ertola, Francesc Esteva, & Lluís Godo (2017). Expanding FLew with a Boolean connective. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 21, 97-111. | Resumen: | [EN]We expand FLew 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. | URI: | http://hdl.handle.net/10261/241030 | DOI: | 10.1007/s00500-016-2275-y |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Expanding FLew with a Boolean connective.pdf | Expanding FLew with a Boolean connective | 392,94 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
2
checked on 13-abr-2024
WEB OF SCIENCETM
Citations
2
checked on 28-feb-2024
Page view(s)
49
checked on 18-abr-2024
Download(s)
56
checked on 18-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.