|
|||||
|
|
| 时态命题演算T1的树枝图及其应用 | |
| 引用本文： | 高士忠.时态命题演算T1的树枝图及其应用[J].武汉理工大学学报(交通科学与工程版),1994,18(3):347-353. |
| 作者姓名： | 高士忠 |
| 摘 要： | 将命题演算语义树理论扩充到非标准逻辑，建立了时态命题演算Ｔ１的树枝图，并证明这种枝图从语义上能判别Ｔ１的有效式，Ｔ１的无效式，从语法上能判别Ｔ１系统的定理，非定理的其它公式。 |
| 关 键 词： | 模态逻辑 模型论 判定问题 |
| 本文献已被 维普 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |