模糊泛Horn类中自由模型的存在性

Q1 Mathematics Journal of Applied Logic Pub Date : 2017-09-01 DOI:10.1016/j.jal.2016.11.002

Vicent Costa , Pilar Dellunde

{"title":"模糊泛Horn类中自由模型的存在性","authors":"Vicent Costa , Pilar Dellunde","doi":"10.1016/j.jal.2016.11.002","DOIUrl":null,"url":null,"abstract":"<div><p>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 <em>term structure associated to a set of formulas</em> 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.</p></div>","PeriodicalId":54881,"journal":{"name":"Journal of Applied Logic","volume":"23 ","pages":"Pages 3-15"},"PeriodicalIF":0.0000,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jal.2016.11.002","citationCount":"5","resultStr":"{\"title\":\"On the existence of free models in fuzzy universal Horn classes\",\"authors\":\"Vicent Costa , Pilar Dellunde\",\"doi\":\"10.1016/j.jal.2016.11.002\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>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 <em>term structure associated to a set of formulas</em> 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.</p></div>\",\"PeriodicalId\":54881,\"journal\":{\"name\":\"Journal of Applied Logic\",\"volume\":\"23 \",\"pages\":\"Pages 3-15\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.jal.2016.11.002\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Applied Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1570868316300568\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Logic","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1570868316300568","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Mathematics","Score":null,"Total":0}

引用次数: 5

摘要

本文对谓词模糊逻辑的全称角片段进行了研究，重点讨论了逻辑规划中的一些相关概念。在模糊环境中引入了与一组公式相关的期限结构的概念，并证明了模糊泛Horn类中自由模型的存在性。证明了每一个无相等一致全称Horn模糊理论都有一个Herbrand模型。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

On the existence of free models in fuzzy universal Horn classes

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊