On Free Models for Horn Clauses over Predicate Fuzzy Logics

Vicent Costa, Pilar Dellunde

Research output: Chapter in BookChapterResearch

1 Citation (Scopus)


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.

Original languageEnglish
Title of host publicationArtificial Intelligence Research and Development - Proceedings of the 18th International Conference of the Catalan Association for Artificial Intelligence
EditorsDionis Boixader, Francisco Grimaldo, Eva Armengol
Place of PublicationBarcelona (ES)
PublisherIOS Press
Number of pages10
ISBN (Electronic)9781614995777
ISBN (Print)978-1-58603-798-7
Publication statusPublished - 1 Jan 2015

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389


  • Free Model
  • Horn Clause
  • Predicate Fuzzy Logics


Dive into the research topics of 'On Free Models for Horn Clauses over Predicate Fuzzy Logics'. Together they form a unique fingerprint.

Cite this