Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/157527
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | On the existence of free models in fuzzy universal Horn classes |
Autor: | Costa, Vicent CSIC ORCID ; Dellunde, Pilar CSIC ORCID | Palabras clave: | Horn clause Herbrand structure Free model Predicate fuzzy logics |
Fecha de publicación: | 2017 | Editor: | Elsevier | Citación: | Journal of Applied Logic 23: 3- 15 (2017) | Resumen: | This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion of term structure associated to a set of formulas in the fuzzy context and we show the existence of free models in fuzzy universal Horn classes. We prove that every equality-free consistent universal Horn fuzzy theory has a Herbrand model. © 2016 Elsevier B.V. | URI: | http://hdl.handle.net/10261/157527 | DOI: | 10.1016/j.jal.2016.11.002 | Identificadores: | doi: 10.1016/j.jal.2016.11.002 issn: 1570-8683 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
accesoRestringido.pdf | 15,38 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
4
checked on 19-mar-2024
WEB OF SCIENCETM
Citations
3
checked on 27-feb-2024
Page view(s)
275
checked on 28-mar-2024
Download(s)
64
checked on 28-mar-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.