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

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 No keywords specified (fix it)
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

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,586
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

No references found.

Add more references

Citations of this work BETA

No citations found.

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
2017-02-20

Total downloads
2 ( #961,372 of 2,303,777 )

Recent downloads (6 months)
1 ( #428,577 of 2,303,777 )

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature