Open Access
Translator Disclaimer
2007 Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property
José Martínez Fernández
Notre Dame J. Formal Logic 48(4): 449-472 (2007). DOI: 10.1305/ndjfl/1193667704

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.

Citation

Download Citation

José Martínez Fernández. "Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property." Notre Dame J. Formal Logic 48 (4) 449 - 472, 2007. https://doi.org/10.1305/ndjfl/1193667704

Information

Published: 2007
First available in Project Euclid: 29 October 2007

zbMATH: 1147.03011
MathSciNet: MR2357521
Digital Object Identifier: 10.1305/ndjfl/1193667704

Subjects:
Primary: 03B50

Keywords: clone , fixed-point property , three-valued propositional logic

Rights: Copyright © 2007 University of Notre Dame

JOURNAL ARTICLE
24 PAGES


SHARE
Vol.48 • No. 4 • 2007
Back to Top