邹晶.中介逻辑的命题演算系统MP*的语义解释及可靠性、完备性[J].数学研究及应用,1988,8(3):467~468
中介逻辑的命题演算系统MP*的语义解释及可靠性、完备性
投稿时间：1987-06-29  
DOI：10.3770/j.issn:1000-341X.1988.03.026
中文关键词:  
英文关键词:
基金项目:上海工业大学科学技术发展基金资助项目.
作者单位
邹晶 上海工业大学 
摘要点击次数: 1844
全文下载次数: 900
中文摘要:
      
英文摘要:
      
查看全文  查看/发表评论  下载PDF阅读器
  版权所有 《数学研究及应用》编辑部
主办单位：大连理工大学，中国工业与应用数学学会
单位地址：大连市甘井子区凌工路2号 大连理工大学创新园大厦A1112室 邮编 ：116024
服务热线：86-411-84707392 Email：jmre@dlut.edu.cn
本系统由北京勤云科技发展有限公司设计
由于安全因素，早期的浏览器无法登陆，推荐使用IE10, IE11，Google，火狐，360新版本浏览器登录