Polynomial Ring Calculus for Many-Valued Logics.

Walter Alexandre Carnielli Polynomial Ring Calculus for Many-Valued Logics. 20-25 2005 conf/ismvl/2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.38 db/conf/ismvl/ismvl2005.html#Carnielli05