排序方式: 共有2条查询结果,搜索用时 171 毫秒
1
1.
吴文璐 《成都信息工程学院学报》2011,26(6)
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr(o)der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个rank-1的模态逻辑都有一个可靠的、强完备的余代数语义.另一方面,Clemens Kupke 等提出模态逻辑可以描述成布尔代数上的自函子,并基于对偶理论研究余代数逻辑的可靠完备性.通过对偶理论重新证明了rank-1的模态逻辑都是余代数的,并且证明通过对偶理论构造出来的函子和Schr(O)der所构造的函子是等价的. 相似文献
2.
吴文璐 《成都信息工程学院学报》2011,26(3):277-282
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr?der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个rank-1的模态逻辑都有一个可靠的、强完备的余代数语义.另一方面,Clemens Kupke等提出模态逻辑可以描述成布尔代数上的自函子,并基于对偶理论研究余代数逻辑的可靠完备性.通过对偶理论重新证明了rank-1的模态逻辑都是余代数的,并且证明通过对偶理论构造出来的函子和Schr?der所构造的函子是等价的. 相似文献
1