Skolem Functions in Non-Classical Logics

  • Tore Fjetland Øgaard

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 and f is a Skolem function for A.

 

 

Published
2017-04-11
How to Cite
ØGAARD, Tore Fjetland. Skolem Functions in Non-Classical Logics. The Australasian Journal of Logic, [S.l.], v. 14, n. 1, apr. 2017. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4031>. Date accessed: 21 sep. 2019. doi: https://doi.org/10.26686/ajl.v14i1.4031.