张东摩.中介命题演算MP*与三值命题演算L3的等价性(英文)[J].数学研究及应用,1991,11(1):157~158 |
中介命题演算MP*与三值命题演算L3的等价性(英文) |
The Equivalence of Medium Propositional Calculus MP* and 3-Valued Lukasiewicz Propositional Calculus L3 |
投稿时间:1989-04-09 |
DOI:10.3770/j.issn:1000-341X.1991.01.034 |
中文关键词: |
英文关键词: |
基金项目: |
|
摘要点击次数: 2213 |
全文下载次数: 988 |
中文摘要: |
|
英文摘要: |
|
查看全文 查看/发表评论 下载PDF阅读器 |
|
|
|