Term Models of Horn Clauses over Rational Pavelka Predicate Logic

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI:10.1109/ISMVL.2017.26

Vicent Costa, Pilar Dellunde

引用次数: 2

Abstract

This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on the proof of the existence of free models of theories of Horn clauses over Rational Pavelka predicate logic. We define the notion of a term structure associated to every consistent theory T over Rational Pavelka predicate logic and we prove that the term models of T are free on the class of all models of T. Finally, it is shown that if T is a set of Horn clauses, the term structure associated to T is a model of T.

查看原文

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

本刊更多论文

有理Pavelka谓词逻辑上Horn子句的项模型

本文对谓词模糊逻辑的普遍Horn片段的研究作出了贡献，重点证明了在有理Pavelka谓词逻辑上Horn分句理论的自由模型的存在性。我们定义了与Rational Pavelka谓词逻辑上的每一个一致性理论T相关联的项结构的概念，并证明了T的项模型在T的所有模型的类上是自由的，最后证明了如果T是一组Horn子句，则与T相关联的项结构是T的一个模型。

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

求助全文

约1分钟内获得全文去求助

来源期刊

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)

自引率

0.00%

发文量

期刊最新文献

Extending Ideal Paraconsistent Four-Valued Logic Extensions to the Reversible Hardware Description Language SyReC A Random Forest Using a Multi-valued Decision Diagram on an FPGA Skipping Embedding in the Design of Reversible Circuits A Novel Ternary Multiplier Based on Ternary CMOS Compact Model