Artículos de revistas
The Method Of Polynomial Ring Calculus And Its Potentialities
Registro en:
The Method Of Polynomial Ring Calculus And Its Potentialities. Elsevier Science Bv, v. 606, p. 42-56 Nov-2015.
0304-3975
WOS:000366777000004
10.1016/j.tcs.2015.05.015
Autor
Carnielli
Walter; Matulovic
Mariana
Institución
Resumen
This paper surveys some results on the role of formal polynomials as a representation method for logical derivation in classical and non-classical logics, emphasizing many-valued logics, paraconsistent logics and non-deterministic logics, as well as their potentialities for alternative algebraic representation and for automation. The resulting mechanizable proof method exposed here is of interest for automatic proof theory, as the proof methods are comparable to analytic tableaux in generality and intuitiveness, and seems also to indicate a new avenue for investigating questions on complexity. (C) 2015 Elsevier B.V. All rights reserved. 606
42 56