Polynomial Ring Calculus for Many-Valued Logics

Walter Alexandre Carnielli. Polynomial Ring Calculus for Many-Valued Logics. In 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada. pages 20-25, IEEE Computer Society, 2005. [doi]

Abstract

Abstract is missing.