|
|||||
|
|
| 模态逻辑的闭包代数值模型(二) | |
| 引用本文： | 孙希文.模态逻辑的闭包代数值模型(二)[J].哈尔滨工业大学学报,1984(1). |
| 作者姓名： | 孙希文 |
| 作者单位： | 哈尔滨工业大学计算机科学(软件)教研室 |
| 摘 要： | 本文继模态逻辑的闭包代数值模型(一)之后,继续讨论B值模型的同态,商模型,证明相应的同态定理,同构定理。最后讨论模型范畴及超积函子。 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |