Czasopismo
1998
|
Vol. 33, nr 1
|
85-103
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
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 dalac 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).
Czasopismo
Rocznik
Tom
Strony
85-103
Opis fizyczny
bibliogr. 46 poz.
Twórcy
autor
- LORIA - Universite nancy 2 B.P. 239, 54506 Vandoeuvre-les-Nancy Cedex, France, vigneron@loria.fr
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0003-0021