Gnani, Giuliana; Mazzanti, Giuliano
A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism
Rendiconti del Seminario Matematico della Università di Padova, Tome 101 (1999) , p. 39-49
Zbl 0938.06012 | MR 1705278
URL stable : http://www.numdam.org/item?id=RSMUP_1999__101__39_0

Bibliographie

[1] C. Bernardi, The uniqueness of the fixed point in every diagonalizable algebra, Studia Logica, 35 (1976), pp. 335-343. MR 460115 | Zbl 0345.02020

[2] W.J. Blok, The lattice of modal logics: an algebraic investigation, J. Symbolic Logic, 45, no. 2 (1980), pp. 221-236. MR 569394 | Zbl 0436.03010

[3] G. Boolos, The Logic of Provability, Cambridge University Press (1993). MR 1260008 | Zbl 0891.03004

[4] S. Burris - H.P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York (1981). MR 648287 | Zbl 0478.08001

[5] S. Feferman, Formal consistency proofs and interpretability theories, Dissertation, Berkeley (1957).

[6] H. Friedman - M. Sheard, An axiomatic approach to self-referential truth, Ann. Pure Appl. Logic, 33 (1987), pp. 1-21. MR 870684 | Zbl 0634.03058

[7] V. Halbach, A system of complete and consistent truth, Notre Dame Journal Of Formal Logic, Vol. 35, no. 3 (1984), pp. 311-327. MR 1326116 | Zbl 0828.03030

[8] P.R. Halmos, Algebraic Logic, Chelsea, New York (1962). MR 131961 | Zbl 0101.01101

[9] D. Hobby, Finite fixed point algebras are subdiagonalisable, Algebra Universalis, vol. 25 (1988), pp. 210-222. MR 950746 | Zbl 0627.06013

[10] B. Jonsson - A. Tarski, Boolean algebras with operators. Part I, Amer. J. Math., vol. 73 (1951), pp. 891-939. MR 44502 | Zbl 0045.31505

[11] B. Jonsson - A. Tarski, Boolean algebras with operators. Part II, Amer. J. Math., vol. 74 (1952), pp. 127-162. MR 45086 | Zbl 0045.31601

[12] R. Magari, The diagonalizable algebras, Boll. Un. Mat. Ital., (4) 12, suppl. fasc. 3 (1975), pp. 117-125. MR 460109 | Zbl 0352.08009

[13] F. Montagna, The diagonalizable algebras, Rapporto matematico, n. 107 (1984), Dip. Mat. Siena.

[14] F. Montagna, A Completeness results for fixed-point algebras, Z. Math. Logik Grundlag, Math., 30 (1984), no. 6, pp. 525-532. MR 769645 | Zbl 0564.03044

[15] I. Nemeti, Algebraizations of quantifier Logics: an introductory overview, Studia Logica, 50 (1991), pp. 445-556. MR 1170186 | Zbl 0772.03033

[16] G. Sambin, An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica, 35 (1976), pp. 345-361. MR 460116 | Zbl 0357.02028

[17] C. Smorynski, Fixed point algebras, Bull. Of The Amer. Math. Soc., 6 (1982), pp. 317-356. MR 648523 | Zbl 0544.03032

[18] C. Smorynski, Self-reference and modal logic, Universitext, Springer-Verlag (1985). MR 807778 | Zbl 0596.03001

[19] R. Solovay, Provability interpretations of modal logics, Israel Journal Of Mat., 25 (1976), pp. 287-304. MR 457153 | Zbl 0352.02019

[20] W. Taylor, Fixed points of endomorphisms, Algebra Universalis, vol. 2 (1972), pp. 74-76. MR 306090 | Zbl 0263.08004

[21] A. Tarski, A lattice theoretical fixed-point theorem and applications, Pacific J. Math., 5 (1955), pp. 285-309. MR 74376 | Zbl 0064.26004

[22] A. Ursini, Sulla varietà di algebre con una buona teoria degli ideali, Boll. Un. Mat. Ital., (4) 6 (1972), pp. 90-95. MR 314728 | Zbl 0263.08006