ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS

by Marcelo Fiore , Chung-kil Hur