On the existence of free models in fuzzy universal Horn classes

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

On the existence of free models in fuzzy universal Horn classes

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.This project has received funding from the European Union's Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement No 689176 (SYSMICS project). Pilar Dellunde is also partially supported by the project RASO TIN2015-71799-C2-1-P (MINECO/FEDER) and the grant 2014SGR-118 from the Generalitat de Catalunya.Peer Reviewe