On the existence of Free Models in Fuzzy Universal Horn Classes
Logic
2017-05-11 v2
Abstract
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.
Keywords
Cite
@article{arxiv.1704.07302,
title = {On the existence of Free Models in Fuzzy Universal Horn Classes},
author = {Vicent Costa and Pilar Dellunde},
journal= {arXiv preprint arXiv:1704.07302},
year = {2017}
}
Comments
Journal of Applied Logic (Published online 2016)