排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
带等词的“中介”谓词逻辑演算ME^*的三值特征定理 总被引:1,自引:1,他引:0
通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。 相似文献
2.
3.
作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。 相似文献
4.
“中介”谓词逻辑演算MF的特征问题 总被引:1,自引:1,他引:0
本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。 相似文献
5.
1