@inbook{4500d0b80d544722a8dbfe2082470ba2,
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.",
keywords = "Free Model, Horn Clause, Predicate Fuzzy Logics",
author = "Vicent Costa and Pilar Dellunde",
note = "Publisher Copyright: {\textcopyright} 2015 The authors and IOS Press. All rights reserved..",
year = "2015",
month = jan,
day = "1",
doi = "10.3233/978-1-61499-578-4-49",
language = "English",
isbn = "978-1-58603-798-7",
volume = "277",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
pages = "49--58",
editor = "Dionis Boixader and Francisco Grimaldo and Eva Armengol",
booktitle = "Artificial Intelligence Research and Development - Proceedings of the 18th International Conference of the Catalan Association for Artificial Intelligence",
address = "United States",
edition = "1",
}