Notre Dame Journal of Formal Logic 48 (4):449-472 (2007)
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)|
References found in this work BETA
No references found.
Citations of this work BETA
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.
Similar books and articles
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.
How Truth Behaves When There's No Vicious Reference.Philip Kremer - 2010 - Journal of Philosophical Logic 39 (4):344 - 367.
There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R.Kazimierz Swirydowicz - 1999 - Journal of Symbolic Logic 64 (3):1125-1154.
A Fixed Point Theorem for the Weak Kleene Valuation Scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
Added to index2010-08-24
Total downloads15 ( #311,179 of 2,158,261 )
Recent downloads (6 months)1 ( #355,837 of 2,158,261 )
How can I increase my downloads?