Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 48, Number 4 (2007), 449-472.
Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property
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.
Notre Dame J. Formal Logic, Volume 48, Number 4 (2007), 449-472.
First available in Project Euclid: 29 October 2007
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03B50: Many-valued logic
Martínez Fernández, José. Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property. Notre Dame J. Formal Logic 48 (2007), no. 4, 449--472. doi:10.1305/ndjfl/1193667704. https://projecteuclid.org/euclid.ndjfl/1193667704