Paper Info
Title
On the existence of free models in fuzzy universal Horn classes.
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.
Year
DOI
Venue
2017
10.1016/j.jal.2016.11.002
Journal of Applied Logic
Keywords
Field
DocType
Horn clause,Free model,Herbrand structure,Predicate fuzzy logics
Discrete mathematics,T-norm fuzzy logics,Horn clause,Fuzzy classification,Fuzzy logic,Fuzzy mathematics,Algorithm,Fuzzy subalgebra,Herbrand structure,Fuzzy number,Mathematics
Journal
Volume
ISSN
Citations 
23
1570-8683
2
PageRank 
References 
Authors
0.39
15
2
Name
Order
Citations
PageRank
Vicent Costa172.55
Pilar Dellunde215622.63