Polynomial Ring Calculus for Logical Inference.
(Walter Carnielli)

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.

Published: 2017-08-25