Löb operators and interior operators
Mazzanti, Giuliano ; Mirolli, Massimo
Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), p. 77-84 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1981-01-01
@article{RSMUP_1981__65__77_0,
     author = {Mazzanti, Giuliano and Mirolli, Massimo},
     title = {L\"ob operators and interior operators},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {65},
     year = {1981},
     pages = {77-84},
     mrnumber = {653284},
     zbl = {0484.03035},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RSMUP_1981__65__77_0}
}

Mazzanti, Giuliano; Mirolli, Massimo. Löb operators and interior operators. Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981) pp. 77-84. http://gdmltest.u-ga.fr/item/RSMUP_1981__65__77_0/

[1] C. Bernardi, On the equational class of diagonalizable algebra (the algebraization of the theory which express theorem), Studia Logica, (4) 34 (1975), pp. 321-331, | MR 460113 | Zbl 0322.02033

[2] G. Birkhoff, Lattice Theory, 3rd ed., Am. Math. Soc. Coll. Publ., vol. XXV (1967). | MR 227053

[3] P.R. Halmos, Algebraic logic. - I: Monadic Boolean algebras. Compositio Mathematicae, 12 (1955), pp. 217-249 (reprinted in Algebraic logic, Chelsea Publ. comp. N. Y., 1962). | Numdam | MR 78304 | Zbl 0087.24505

[4] B. Jonsson - A. Tarski, Boolean algebras with operators, Part I, American Mathematical Journal, 13 (1951), pp. 891-936. | MR 44502 | Zbl 0045.31505

[5] R. Magari, Representation and duality theory for diagonalizable algebras (the algebraization of the theories which express Theor; IV), Studia Logica, (4) 34 (1975), pp. 305-313. | MR 460111 | Zbl 0355.02021

[6] K. Segerberg, An Essay in Classical Model Logic, Vol. 2, Filosofiska Studier, Uppsala 1971. | MR 339999 | Zbl 0311.02028

[7] C. Smorynski, The derivability condition and Löb's theorem; a short course in modal logic, to appear.

[8] R. Goldblatt, Aritmetical necessity, probability and intuitionistie logic, Theoria, 44 (1978, pp. 38-74. | MR 537120 | Zbl 0409.03011