On the existence of free models in fuzzy universal Horn classes

Vicent Costa; Pilar Dellunde

doi:https://doi.org/10.1016/j.jal.2016.11.002

On the existence of free models in fuzzy universal Horn classes

Vicent Costa, Pilar Dellunde

Research output: Contribution to journal › Article › Research › peer-review

3 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 language	English
Pages (from-to)	3-15
Journal	Journal of Applied Logic
Volume	23
DOIs	https://doi.org/10.1016/j.jal.2016.11.002
Publication status	Published - 1 Sept 2017

Keywords

Free model
Herbrand structure
Horn clause
Predicate fuzzy logics

Access to Document

https://doi.org/10.1016/j.jal.2016.11.002

https://ddd.uab.cat/record/171586

Cite this

@article{d9abbe5f41f842049cbe66a7cd51c8d3,

title = "On the existence of free models in fuzzy universal Horn classes",

abstract = "{\textcopyright} 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.",

keywords = "Free model, Herbrand structure, Horn clause, Predicate fuzzy logics",

author = "Vicent Costa and Pilar Dellunde",

year = "2017",

month = sep,

day = "1",

doi = "https://doi.org/10.1016/j.jal.2016.11.002",

language = "English",

volume = "23",

pages = "3--15",

journal = "Journal of Applied Logic",

issn = "1570-8683",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - On the existence of free models in fuzzy universal Horn classes

AU - Costa, Vicent

AU - Dellunde, Pilar

PY - 2017/9/1

Y1 - 2017/9/1

N2 - © 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.

AB - © 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.

KW - Free model

KW - Herbrand structure

KW - Horn clause

KW - Predicate fuzzy logics

U2 - https://doi.org/10.1016/j.jal.2016.11.002

DO - https://doi.org/10.1016/j.jal.2016.11.002

M3 - Article

SN - 1570-8683

VL - 23

SP - 3

EP - 15

JO - Journal of Applied Logic

JF - Journal of Applied Logic

ER -

On the existence of free models in fuzzy universal Horn classes

Abstract

Keywords

Access to Document

Fingerprint

Cite this