Notre Dame Journal of Formal Logic 48 (4):449-472 (2007)

Authors
José Martínez
Universitat de Barcelona
Abstract
This paper gives a propositional reformulation of the fixed-point problem posed by Gupta and Belnap, using the stipulation logic of Visser. After presenting a solution for clones of three-valued operators that include the constant functions, I determine the maximal three-valued clones with constants that have the fixed-point property, giving different characterizations of them.
Keywords three-valued propositional logic   clone   fixed-point property
Categories (categorize this paper)
DOI 10.1305/ndjfl/1193667704
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: 59,104
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.
On Representing ‘True-in-L’ in L.Robert L. Martin - 1975 - Philosophia 5 (3):213-217.
Semantics and the Liar Paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.
Clones of Boolean Functions-a Survey.I. G. Rosenberg - 1988 - South African Journal of Philosophy-Suid-Afrikaanse Tydskrif Vir Wysbegeerte 7 (2):90-99.

Add more references

Citations of this work BETA

Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Remarks on the Gupta-Belnap Fixed-Point Property for K-Valued Clones.José Martínez-Fernández - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):118-131.
Fixed-Point Posets in Theories of Truth.Stephen Mackereth - 2019 - Journal of Philosophical Logic (1).

Add more citations

Similar books and articles

Remarks on the Gupta-Belnap Fixed-Point Property for K-Valued Clones.José Martínez-Fernández - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):118-131.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
The Maximal Closed Classes of Unary Functions in P‐Valued Logic.Liu Renren & Lo Czukai - 1996 - Mathematical Logic Quarterly 42 (1):234-240.
Fixed-Points of Set-Continuous Operators.O. Esser, R. Hinnion & D. Dzierzgowski - 2000 - Mathematical Logic Quarterly 46 (2):183-194.
The Concept of Truth.Boris Čulina - 2001 - Synthese 126 (1):339-360.
What's in a Function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.
A Fixed Point Theorem for the Weak Kleene Valuation Scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.

Analytics

Added to PP index
2010-08-24

Total views
32 ( #328,761 of 2,428,000 )

Recent downloads (6 months)
1 ( #511,645 of 2,428,000 )

How can I increase my downloads?

Downloads

My notes