On the existence of free models in fuzzy universal Horn classes

Vicent Costa; Pilar Dellunde

doi:10.1016/j.jal.2016.11.002

On the existence of free models in fuzzy universal Horn classes

Vicent Costa, Pilar Dellunde

Producció científica: Contribució a revista › Article › Recerca › Avaluat per experts

4 Cites (Scopus)

Resum

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

Idioma original	Anglès
Pàgines (de-a)	3-15
Revista	Journal of Applied Logic
Volum	23
DOIs	https://doi.org/10.1016/j.jal.2016.11.002
Estat de la publicació	Publicada - 1 de set. 2017

Accés al document

10.1016/j.jal.2016.11.002

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

Com citar-ho

@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 = "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 - 10.1016/j.jal.2016.11.002

DO - 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

Resum

Accés al document

Fingerprint

Com citar-ho