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]
@inproceedings{Carnielli05, title = {Polynomial Ring Calculus for Many-Valued Logics}, author = {Walter Alexandre Carnielli}, year = {2005}, doi = {10.1109/ISMVL.2005.38}, url = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.38}, tags = {logic}, researchr = {https://researchr.org/publication/Carnielli05}, cites = {0}, citedby = {0}, pages = {20-25}, booktitle = {35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada}, publisher = {IEEE Computer Society}, isbn = {0-7695-2336-6}, }