Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/157527
Share/Export:
logo share SHARE logo core CORE BASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE

Invite to open peer review
Title

On the existence of free models in fuzzy universal Horn classes

AuthorsCosta, Vicent CSIC ORCID ; Dellunde, Pilar CSIC ORCID
KeywordsHorn clause
Herbrand structure
Free model
Predicate fuzzy logics
Issue Date2017
PublisherElsevier
CitationJournal of Applied Logic 23: 3- 15 (2017)
AbstractThis 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. © 2016 Elsevier B.V.
URIhttp://hdl.handle.net/10261/157527
DOI10.1016/j.jal.2016.11.002
Identifiersdoi: 10.1016/j.jal.2016.11.002
issn: 1570-8683
Appears in Collections:(IIIA) Artículos




Files in This Item:
File Description SizeFormat
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

4
checked on May 22, 2024

WEB OF SCIENCETM
Citations

3
checked on Feb 27, 2024

Page view(s)

285
checked on May 29, 2024

Download(s)

66
checked on May 29, 2024

Google ScholarTM

Check

Altmetric

Altmetric


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.