安妮塔·瓦西列夫斯卡；劳伦·维格纳龙 粗糙代数和自动演绎。 （英语） Zbl 0926.03081号 Polkowski，Lech（ed.）等人，《知识发现中的粗糙集》1。方法和应用。海德堡：Physica-Verlag。模糊软计算研究。18, 261-275 (1998). 小结：这里研究的粗糙R5和R4代数是第一作者介绍的拓扑粗糙代数的特殊情况[A.Wasilewska公司，“拓扑粗糙代数”，载：T.Y.Lin等人（编辑），粗糙集和数据挖掘：不精确数据的分析，411-425（1997；Zbl 0860.03042号)]. 我们在这里检查并讨论了它们最有趣的一些性质，它们之间的关系，以及它们与拓扑布尔S4和S5代数的关系，它们分别是模态逻辑S4和S5.的代数模型。所提出的性质是从700多个定理中选出的，这些定理由定理证明器daTac（Déreduction Automatique dans des Théories Associatives et Commutatives）自动发现和证明。这个谚语是由第二位作者在法国南希洛里亚开发的。有关整个系列，请参见[兹比尔0910.00028]. 引用于三文件 MSC公司： 03G25号 与逻辑相关的其他代数 68吨15 定理证明（演绎、解析等）（MSC2010） 68立方英尺 知识表示 关键词：拓扑布尔代数；大致相等；拓扑粗糙代数；定理证明程序daTac 引文：Zbl 0860.03042号 软件：达塔克 PDF格式BibTeX公司 XML格式引用 \textit{A.Wasilewska}和\textit{L.Vigneron}，Stud.模糊软计算。18261-275（1998年；兹bl 0926.03081）