更新时间:-- | 阅读量: 243
中介逻辑及中介逻辑演算ML是中国数学家朱梧槚和肖奚安共同创建并发展起来的一种非古典...ML包括中介逻辑的命题演算系统MP及其扩张P*，中介逻辑的谓词演算系统MF及其扩张MF*，以及中介逻辑的同异性演算系统（即带等词的中介谓词逻辑）ME* ...
搜索到与“ 中介命题逻辑”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
