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:	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.
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, 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 registre apareix a les col·leccions:
Articles > Articles de recerca
Articles > Articles publicats