收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

MP~*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

顾红芳  白鹏  肖奚安  朱梧槚  
【摘要】:本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国硕士学位论文全文数据库 前5条
1 王华;命题泛逻辑学的包容性研究[D];西北工业大学;2004年
2 徐雯霞;MP~M中介代数的研究[D];江南大学;2009年
3 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年
4 王丹;关于模糊蕴涵若干问题的研究[D];江西师范大学;2010年
5 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978