Skolem Functions in Non-Classical Logics

Authors

  • Tore Fjetland Øgaard

DOI:

https://doi.org/10.26686/ajl.v14i1.4031

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.

Downloads

Download data is not yet available.

Downloads

Published

2017-04-11