Journal of Applied Non-Classical Logics 24 (1-2):118-131 (2014)

Authors
José Martínez
Universitat de Barcelona
Abstract
Here, I first prove that certain families of k-valued clones have the Gupta-Belnap fixed-point property. This essentially means that all propositional languages that are interpreted with operators belonging to those clones are such that any net of self-referential sentences in the language can be consistently evaluated. I then focus on two four-valued generalisations of the Kleene propositional operators that generalise the strong and weak Kleene operators: Belnap?s clone and Fitting?s clone, respectively. I apply the theorems from the initial part of the paper to analyse the fixed-point property of Belnap?s and Fitting?s clones when some special operators that reflect the semantics are added. The conclusion of the paper is that Fitting?s clone is better suited than Belnap?s to provide self-referential languages with highly expressive resources.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/11663081.2014.911531
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,262
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

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Revision Theory of Truth.Vann Mcgee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
Semantics and the Liar Paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.

View all 7 references / Add more references

Citations of this work BETA

Fixed-Point Posets in Theories of Truth.Stephen Mackereth - 2019 - Journal of Philosophical Logic (1).

Add more citations

Similar books and articles

Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
What's in a Function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Persons and Their Copies.D. McCarthy - 1999 - Journal of Medical Ethics 25 (2):98-104.
Verdad y Circularidad.Eduardo Alejandro Barrio - 2002 - Theoria 17 (1):63-79.

Analytics

Added to PP index
2014-07-28

Total views
25 ( #440,231 of 2,455,770 )

Recent downloads (6 months)
2 ( #303,332 of 2,455,770 )

How can I increase my downloads?

Downloads

My notes