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

Authors
Tore Fjetland Øgaard
University of Bergen
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.
Keywords conservative extension  identity  Leibniz’s law  non-classical logics  restricted universal quantification  Skolem functions  unique existential quantifiers
Categories (categorize this paper)
DOI 10.26686/ajl.v14i1.4031
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,231
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

Citations of this work BETA

From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
Substitution in Relevant Logics.Tore Fjetland Øgaard - 2019 - Review of Symbolic Logic (3):1-26.

Add more citations

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 index
2017-04-11

Total views
21 ( #517,936 of 2,455,401 )

Recent downloads (6 months)
1 ( #449,037 of 2,455,401 )

How can I increase my downloads?

Downloads

My notes