HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Rough Diagrams

Laurent Vigneron 1 Anita Wasilewska 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:02:02 PM
Last modification on : Friday, February 4, 2022 - 3:22:37 AM


  • HAL Id : inria-00098493, version 1



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⟩



Record views