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

Data:	2016
Resum:	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.
Ajuts:	European Commission 689176
Drets:	Tots els drets reservats.
Llengua:	Anglès
Document:	Article ; recerca ; Versió acceptada per publicar
Matèria:	Horn clause ; Free model ; Herbrand structure ; Predicate Fuzzy Logics
Publicat a:	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 registre apareix a les col·leccions:
Articles > Articles de recerca
Articles > Articles publicats