Web of Science: 1 citas, Scopus: 2 citas, Google Scholar: citas,
On the existence of free models in fuzzy universal Horn classes
Costa, Vicent (Universitat Autònoma de Barcelona. Departament de Filosofia)
Dellunde i Clavé, Pilar (Barcelona Graduate School of Mathematics)

Fecha: 2016
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.
Nota: Número d'acord de subvenció EC/H2020/689176
Derechos: Tots els drets reservats
Lengua: Anglès.
Documento: article ; recerca ; acceptedVersion
Materia: Horn clause ; Free model ; Herbrand structure ; Predicate Fuzzy Logics
Publicado en: Journal of Applied Logic, In Press (2016) , ISSN 1570-8683

DOI: 10.1016/j.jal.2016.11.002


Post-print
15 p, 296.2 KB

El registro aparece en las colecciones:
Artículos > Artículos de investigación
Artículos > Artículos publicados

 Registro creado el 2017-04-04, última modificación el 2019-07-24



   Favorit i Compartir