logics and translations, Synthese 125 (0)

by Paraconsistent