节点文献

多值逻辑Lukasiewicz-T arski系统的函数保核完备性

THE FUNCTIONAL KERNEL-PRESERVING COMPLET-ENESS OF Lukasiewicz-Tar ski’s MULTI-VALUEDLOGIC SYSTEM

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 应明生；

【Author】 Ying Mingsheng(Fuzhou Teacher’s College, Jiangxi)

【机构】 江西抚州师范专科学校；

【摘要】 <正> 本文中的符号和术语,如未加说明,皆引自[1],给定整数M≥2,真值集合TM={1,…,M},命题函数F1（P1,P2）=P1CP2,F2（P）=NP对应的真值函数分别为:

【关键词】 命题函数； 多值逻辑； 真值函数； 完备性； 命题演算； 正整数； 当且仅当； 计算机学报； 人法；
  • 【文献出处】 计算机学报 ,Chinese Journal of Computers , 编辑部邮箱 ,1989年04期
  • 【被引频次】1
  • 【下载频次】32
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)