Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property
Martínez Fernández, José
Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, p. 449-472 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2007-10-14
Classification:  three-valued propositional logic,  clone,  fixed-point property,  03B50 
@article{1193667704,
     author = {Mart\'\i nez Fern\'andez, Jos\'e},
     title = {Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property},
     journal = {Notre Dame J. Formal Logic},
     volume = {48},
     number = {1},
     year = {2007},
     pages = { 449-472},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1193667704}
}

Martínez Fernández, José. Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property. Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, pp.  449-472. http://gdmltest.u-ga.fr/item/1193667704/