On the existence of free models in fuzzy universal Horn classes

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Abstract

© 2016 Elsevier B.V. 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.
Original languageEnglish
Pages (from-to)3-15
JournalJournal of Applied Logic
Volume23
DOIs
Publication statusPublished - 1 Sep 2017

Keywords

  • Free model
  • Herbrand structure
  • Horn clause
  • Predicate fuzzy logics

Fingerprint Dive into the research topics of 'On the existence of free models in fuzzy universal Horn classes'. Together they form a unique fingerprint.

Cite this