New dimensions on translations between logics (2009)

by Walter A. Carnielli , Marcelo E. Coniglio , Itala M. L. D’ottaviano