References
C. Bernardi,The uniqueness of the fixed point in every diagonalizable algebra (The algebraization of theories, which express Theor;VIII), Studia Logica XXV (1976) pp. 335–343.
P. R.Halmos,Algebraic Logic, New York 1962.
B. Jonsson andA. Tarski,Boolean Algebras with operators I, Amer. J. Math.73 (1951) pp. 891–939.
B. Jonsson andA. Tarski,Boolean Algebras with operators II, Amer. J. Math.74 (1952) pp. 127–162.
R. Magari,The diagonalizable algebras (The algebraization of theories which express Theor; (II), Boll. Un. Mat. It. (4) 12 Supp. Fasc.3 (1975) pp. 117–125.
R.Magari,Representation and duality theory for diagonalizable algebras (The algebraization of theories which express Theor;TV), Studia Logica Vol. XXXIV,4 (1975), pp. 305–313
J. D. Monk,Completions of Boolean algebras with operators, Math. Nachr46 (1970) pp. 47–55.
H.Rasiowa and R.Sikorski,Mathematics of metamathematics, Warszawa 1970.
R.Sikorski,Boolean algebras, Berlin-Gottingen-Heidelberg 1964.
S.Valentini,Cut elimination in a modal sequent calculus for K. Submitted to Studia Logica.
Author information
Authors and Affiliations
Additional information
Lavoro eseguito nell'ambito dell'attività per il C.N.R.
Rights and permissions
About this article
Cite this article
Montagna, F. The well-founded algebras. Algebra Universalis 16, 38–46 (1983). https://doi.org/10.1007/BF01191752
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01191752