Why combine logics?
Direct axiomatization (and semantic treatment) of non-classical connectives is compared to translation into the language of classical logic.
scientific article; zbMATH DE number 1078604