共 1 条
[1]
数理逻辑基础.[M].胡世华;陆钟万 著.科学出版社.1981,
中介逻辑的谓词演算系统(Ⅰ)
被引：27
作者：
朱梧槚
肖奚安
机构：
[1] 南京大学,空军气象学院
来源：
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
<正> 本文根据中介原则构造中介逻辑的谓词演算系统MF,其符号系统有逻辑词（?）,→,～,（?）,（?）,个体词a,b,c,ai,bi,ci（i=1,2,…）,谓词F,G,H,Fi,Gi,Hi（i=1,2,…）,
引用
收藏
页数：1
相关论文