|
|||||
|
|
| 强模态归结 | |
| 引用本文： | 孙吉贵,刘叙华.强模态归结[J].吉林大学自然科学学报,1996(1):25-29. |
| 作者姓名： | 孙吉贵 刘叙华 |
| 摘 要： | 研究了命题模态逻辑，Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“＝”型模态逻辑结果Ｓ＝Ｕ→Ｖ的自动推理。提出了证明“＝”型模态逻辑结果的归结推理方法－强模态归结。证明了强模态归结的可靠性与完备性。 |
| 关 键 词： | 命题模态逻辑 模态演绎定理 强模态归结 |
| 本文献已被 维普 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |