期刊文献+

多值逻辑Lukasiewicz-T arski系统的函数保核完备性 被引量:1

THE FUNCTIONAL KERNEL-PRESERVING COMPLET-ENESS OF Lukasiewicz-Tar ski's MULTI-VALUEDLOGIC SYSTEM
下载PDF
导出
摘要 本文中的符号和术语,如未加说明,皆引自[1],给定整数M≥2,真值集合T_M={1,…,M},命题函数F_1(P_1,P_2)=P_1CP_2,F_2(P)=NP对应的真值函数分别为:
作者 应明生
出处 《计算机学报》 EI CSCD 北大核心 1989年第4期307-309,共3页 Chinese Journal of Computers
  • 相关文献

参考文献1

  • 1金晓龙,多值逻辑及其应用,1980年

同被引文献35

引证文献1

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部