Rough And Modal Algebras

  title={Rough And Modal Algebras},
  author={Laurent Vigneron and Anita Wasilewska},
We have used here a theorem prover DATAC (DDduction Automatique dans des Thhories Associatives et Commu-tatives) to discover, study and compare properties of rough and corresponding modal algebras. The preliminary results were reported in 19]. The prover was developed at CRIN & INRIA Lorraine, Nancy (France), by the rst author. The rough algebras were introduced by the second author in 17] as a generalization of rough algebra of formulas of a modal logic S5, deened and examined in 1]. The rough… CONTINUE READING


Publications referenced by this paper.

Automated De- duction with Associative-Commutative Operators. Appli- cable Algebra in Engineering, Communication and Com- puting

  • M.Rusinowitch, L.Vigneron
  • 1995
1 Excerpt

Paramodulation and First-order Theorem Proving

  • G.A.Robinson, L.T.Wos
  • In B.Meltzer and D.Mitchie, ed., Machine…
  • 1969
2 Excerpts

Boolean algebras and their relation to topology

  • M. H. Stone
  • Proc. of National Academy of Sciences,
  • 1934
1 Excerpt

Similar Papers

Loading similar papers…