MV logics and Gröbner bases
MV logics and Gröbner bases History of Logic in Serbia, Belgrade, 14-15. 06. 2010.