Abstract : The study of algebras may be a hard task, even with powerful theorem provers. We present here an approach we used for proving important properties of rough Boolean algebras, combining theorem provers with a graphical technique, called Rough Diagrams. Rough Diagrams correspond to a classical notion of Ven Diagrams and can also serve as a new and very intuitive way of constructing counter models for formulas that are not tautologies of modal logic S5.
Laurent Vigneron, Anita Wasilewska. Rough Diagrams. 6th International Workshop on Rough Sets, Data Mining & Granular Computing (RSDMGrC'98) at the 4th Joint Conference on Information Sciences, 1998, Research Triangle Park, NC, 4 p. ⟨inria-00098493⟩