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 (BGSMath))

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.
Ayudas:	European Commission 689176
Derechos:	Aquest material està protegit per drets d'autor i/o drets afins. Podeu utilitzar aquest material en funció del que permet la legislació de drets d'autor i drets afins d'aplicació al vostre cas. Per a d'altres usos heu d'obtenir permís del(s) titular(s) de drets.
Lengua:	Anglès
Documento:	Article ; recerca ; Versió acceptada per publicar
Materia:	Horn clause ; Free model ; Herbrand structure ; Predicate Fuzzy Logics
Publicado en:	Journal of Applied Logic, Vol 23 (September 2017) , p. 3-15, ISSN 1570-8683

DOI: 10.1016/j.jal.2016.11.002

Post-print 15 p, 199.4 KB

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