|国家科技期刊平台
| 注册
首页|期刊导航|应用数学|中介逻辑的命题演算系统（MP＊）的一些特征

中介逻辑的命题演算系统（MP＊）的一些特征

盛建国

应用数学1989，Vol.2Issue(4)：40-44,5.
✕
应用数学1989，Vol.2Issue(4)：40-44,5.

中介逻辑的命题演算系统（MP＊）的一些特征

盛建国1

作者信息

  • 折叠

摘要

关键词

中介逻辑/命题演算系统/范式

分类

数理科学

引用本文复制引用

盛建国..中介逻辑的命题演算系统（MP＊）的一些特征[J].应用数学,1989,2(4):40-44,5.

应用数学

1001-9847

访问量2
|
下载量0
段落导航相关论文