首页 > 论文下载

函数完备的n+1值逻辑公理系统的强完全性

期刊名字：安徽大学学报（哲学社会科学版）
文件大小：
论文作者：霍书全
作者单位：安徽大学
更新时间：2022-06-21
下载次数：次

会员下载(3点)

VIP会员下载(0点)

游客扫码下载(3点)

论文简介

构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等.建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性.证明利用了一个特殊的否定词,比其他方法更为简便.该证明方法还可以证明该系统是函数完备的.

论文截图

上一条：知识蕴涵时态逻辑系统

下一条：语义封闭性、"真矛盾论"与"悖论逻辑"

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

多值逻辑完全性极大一致集