Remarks on the Gupta-Belnap fixed-point property for k-valued clones

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


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.



    Upload a copy of this work     Papers currently archived: 86,403

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

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: Revista de Teoría, Historia y Fundamentos de la Ciencia 17 (1):63-79.


Added to PP

29 (#453,187)

6 months
2 (#521,718)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

José Martínez
Universitat de Barcelona

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Revision Theory of Truth. [REVIEW]Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
Meaning and Partiality.Reinhard Muskens - 1989 - Dissertation, University of Amsterdam
Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.

View all 8 references / Add more references