|
|||||
|
|
| 中介逻辑命题演算系统的语言表达能力——完全性与闵氏距离不增性 | |
| 引用本文： | 肖奚安,朱梧槚.中介逻辑命题演算系统的语言表达能力——完全性与闵氏距离不增性[J].数学研究及应用,1988,8(4):520-520. |
| 作者姓名： | 肖奚安 朱梧槚 |
| 作者单位： | 空军气象学院;南京大学 |
| 摘 要： | 中介逻辑演算ML是为建立中介公理集合论MS而构造的逻辑体系。ML的命题演算和谓词演算均被划分为自身及其扩张。但ML＆MS中有些定理和公理却又把命题与谓词限制在MP及MF的范围中,目的在于保证系统的相容性。现对MP与MP~*的命题联结词作了有关的研究。 |
| 收稿时间： | 1988/7/15 0:00:00 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 | |
| 点击此处可从《数学研究及应用》下载免费的PDF全文 | |