|
|
Centre for Logic, Epistemology and the History of Science (CLE) |
|
|
|
|
Rules and Instructions | Sites Pointing to CLE e-Prints |
|
ISSN 1519-9681 |
|
ISSN 1519-9614 |
|
|
||
| . | ||
|
|
||
|
|
||
|
|
Publication Information |
| The
final version of this paper is published as:
Walter Carnielli, "Polynomial Ring Calculus for Many-valued Logics".
Proceedings of the 35th
International Symposium on Multiple-Valued Logic. IEEE Computer Society.
Calgary, Canadá. IEEE Computer Society, pp. 20-25, 2005.
|
|
|
|
|
|
This paper proposes a new "all-purpose"
algebraic proof method applicable to general truth-functional sentential
logics and to some non-truth-functional logics. The method, based on reducing
polynomials over finite fields, is particularly apt for finitely-many-valued
logics (and for classical propositional logic PC). It can be extended
to certain non-finitely valued logics and non-truth-functional logics as
well, provided they can be characterized by two-valued dyadic
semantics. The resulting mechanizable proof method introduced here is
of interest for automatic proof theory, and seems also to be appropriate
for investigating questions on complexity.
|
|
|
|
|