Automated Deduction Techniques for Studying Rough Algebras - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Fundamenta Informaticae Year : 1998

Automated Deduction Techniques for Studying Rough Algebras


We present a non-exhaustive state of the art in the domain of deduction in first-order logic with equality, describing different strategies introduced over the years: strategies for selecting deduction steps, for eliminating redundant information, for delaying the resolution of unsolved or too difficult problems, for applying deductions with built-in properties. We also present the system daTac that implements our deduction techniques modulo associative-commutative properties. Finally we detail an application of those techniques to the study of non-classical logics, work realised in collaboration with Prof. Wasilewska (Stony Brook University, New York).
No file

Dates and versions

inria-00098614 , version 1 (25-09-2006)


  • HAL Id : inria-00098614 , version 1


Laurent Vigneron. Automated Deduction Techniques for Studying Rough Algebras. Fundamenta Informaticae, 1998, 33 (1), pp.85-103. ⟨inria-00098614⟩
36 View
0 Download


Gmail Facebook Twitter LinkedIn More