Maximal three-valued clones with the Gupta-Belnap fixed point property
This paper gives a propositional reformulation of the fixed-point problem posed by \textit{A. Gupta} and \textit{N. Belnap} in [The revision theory of truth. Cambridge, MA: MIT Press (1993; Zbl 0858.03010)], using the stipulation logic of \textit{A. Visser} [``Semantics and the liar paradox, in: D. Gabbay et al. (eds.), Handbook of philosophical logic. Vol. IV: Topics in the philosophy of language. Dordrecht: D. Reidel Publishing Co. Synth. Libr. 167, 617--706 (1989; Zbl 0869.03001)]. After presenting a solution for clones of three-valued operators that include the constant functions, the maximal three-valued clones with constants that have the fixed-point property are determined. Different characterizations of them are given.
- scientific article; zbMATH DE number 2019851
- Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones
- Uniqueness of the fixed points of single-step operators determined by Belnap's four-valued logic
- scientific article; zbMATH DE number 3902623
- scientific article; zbMATH DE number 3991417
- Conditionals in theories of truth
- Fixed-point posets in theories of truth
- Uniqueness of the fixed points of single-step operators determined by Belnap's four-valued logic
- scientific article; zbMATH DE number 2019851 (Why is no real title available?)
- Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones
- Defining LFIs and LFUs in extensions of infectious logics
This page was built for publication: Maximal three-valued clones with the Gupta-Belnap fixed point property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2425347)
