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), pp. 39-49.
@article{RSMUP_1999__101__39_0,
     author = {Gnani, Giuliana and Mazzanti, Giuliano},
     title = {A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {39--49},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {101},
     year = {1999},
     mrnumber = {1705278},
     zbl = {0938.06012},
     language = {en},
     url = {http://archive.numdam.org/item/RSMUP_1999__101__39_0/}
}
TY  - JOUR
AU  - Gnani, Giuliana
AU  - Mazzanti, Giuliano
TI  - A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1999
SP  - 39
EP  - 49
VL  - 101
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1999__101__39_0/
LA  - en
ID  - RSMUP_1999__101__39_0
ER  - 
%0 Journal Article
%A Gnani, Giuliana
%A Mazzanti, Giuliano
%T A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1999
%P 39-49
%V 101
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1999__101__39_0/
%G en
%F RSMUP_1999__101__39_0
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), pp. 39-49. http://archive.numdam.org/item/RSMUP_1999__101__39_0/

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

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

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

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

[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 | Zbl

[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 | Zbl

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

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

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

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

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

[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 | Zbl

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

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

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

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

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

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

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

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