首页 > 论文下载

LP(X)中MP归结推理

期刊名字：模糊系统与数学
文件大小：
论文作者：夏世芬，秦应兵，徐扬
作者单位：西南交通大学数学学院
更新时间：2022-04-19
下载次数：次

会员下载(3点)

VIP会员下载(0点)

游客扫码下载(3点)

论文简介

首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性.

论文截图

上一条：用数模结合的方法实现AM-OLED的白平衡

下一条：三种来源CIK细胞对人食管癌裸鼠皮下移植肿瘤的抑制作用

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。

格值命题逻辑系统LP(X)MP归结 (A α)-归结演绎 α-不可满足 Lattice-valued Proposition Logic System LP