论文部分内容阅读
在这篇论文中,定义了集合与关系之间的三种运算:合成composition(*)、右除right division(/)以及左除left division(\),列出了关于这三种运算的性质,讨论了这三种运算与关系间的合成运算composition,weakest prespecification以及weakest postspecification之间的联系.然后作者用泛系不动子集研究了命题模态逻辑中二元关系关于合成composition(*)、右除right division以及左除left division的泛系不变性,同时,作者还讨论了命题模态逻辑中的非线性问题即泛混沌panchaos、泛引子panattractor和泛怪引子strange panattractor以及它们与泛系不变性之间的关系.