Rough Diagrams
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.