Skolem Functions in Non-Classical Logics

Australasian Journal of Logic 14 (1):181-225 (2017)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,649

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
Game Theoretical Semantics for Some Non-Classical Logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
Adding Skolem Functions to Simple Theories.Herwig Nübling - 2004 - Archive for Mathematical Logic 43 (3):359-370.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Trees and Keislers Problem.Ali Enayat - 2001 - Archive for Mathematical Logic 40 (4):273-276.

Analytics

Added to PP
2017-04-11

Downloads
24 (#477,719)

6 months
1 (#419,921)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tore Fjetland Øgaard
University of Bergen

References found in this work

An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
Entailment and Relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.

Add more references