Rough Diagrams

Laurent Vigneron (1) , Anita Wasilewska (2)

1 PROTHEO - Constraints, automatic deduction and software properties proofs
2 Department of Computer Science [Santa Barbara]

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.

Mots clés: rough sets; boolean algebras; algèbres booléennes; diagrams; ensembles approximants

Domaines: Autre [cs.OH]

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⟩