Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property

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

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.

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1193667704

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Fixed-point models for paradoxical predicates.Luca Castaldo - 2021 - Australasian Journal of Logic 18 (7):688-723.
Outline of an Intensional Theory of Truth.Roy T. Cook - 2022 - Notre Dame Journal of Formal Logic 63 (1):81-108.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Stratified, Weak Stratified, and Three-valued Semantics.Melvin Fitting & Marion Ben-Jacob - unknown
Comparing More Revision and Fixed-Point Theories of Truth.Qiqing Lin & Hu Liu - 2021 - Journal of Philosophical Logic 50 (4):615-671.
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$.Sohei Iwata, Taishi Kurahashi & Yuya Okawa - 2024 - Archive for Mathematical Logic 63 (1):1-37.
Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.

Analytics

Added to PP
2010-08-24

Downloads
21 (#728,521)

6 months
3 (#1,207,210)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

José Martínez
Universitat de Barcelona

Citations of this work

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

References found in this work

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