Original version
Australasian Journal of Logic. 2017, 14 (1):7
Abstract
This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant Logics with Skolem functions. Translations to and from the language extended by Skolem functions into the original one are presented and shown to preserve derivability. It is also shown that one may not always substitute s=f(t) and A(t,s) even though A(x,y) determines the extension of a function for which f is introduced.