Paper Info
Title
On Free Models for Horn Clauses over Predicate Fuzzy Logics.
Abstract
This paper is a preliminary study of the universal Horn fragment of Predicate Fuzzy Logics. We work in languages with a binary predicate symbol that is interpreted as a similarity. Using this similarity relation we define a term structure associated to a theory, and we prove that it is a free structure on the class of reduced models of the theory. Finally, we show that the substructure generated by the set of ground terms is a model of all universal Horn sentences that are logical consequences of the theory.
Year
DOI
Venue
2015
10.3233/978-1-61499-578-4-49
Frontiers in Artificial Intelligence and Applications
Keywords
DocType
Volume
Horn Clause,Free Model,Predicate Fuzzy Logics
Conference
277
ISSN
Citations 
PageRank 
0922-6389
1
0.36
References 
Authors
0
2
Name
Order
Citations
PageRank
Vicent Costa172.55
Pilar Dellunde215622.63