Axiomatization via translation: Hiz's warning for predicate logic

Guillermo Badia, John N. Crossley, Lloyd Humberstone

The problems of logical translation of axiomatizations and the choice of primitive operators have surfaced several times over the years. An early issue was raised by H. Hi{\. z} in…