Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
O. Becker, Zur Logik der Modalitäten, Jahrbuch für Philosophie und Phänomenologische Forschung 11 (1930) 497–548.
E. Beth and J.F.F. Nieland, Semantic Construction of Lewis Systems S4 and S5, in: Addison, Henkin, Tarski, eds., The Theory of Models (North-Holland, Amsterdam, 1965) 17–24.
D.J. Brown and R. Suzsko, Abstract Logics, Diss. Math. CII (1973) 9–40.
R.A. Bull, Some modal calculi based on IC, in: Crossley and Dummett, eds., Formal Systems and Recursive Functions (North-Holland, Amsterdam, 1965) 3–7.
—, A modal extension of intuitionist logic, Notre Dame J. Formal Logic 6 (1965) 142–145.
C. Davis, Modal operators, equivalence relations and projective algebras, Am. J. Math. 76 (1954) 747–762.
G. Fischer-Servi, On modal logic with an intuitionistic base, Studia Logica 36 (1977) 141–149.
—, Semantics for a class of intuitionistic modal calculi, in: Dalla Chiara, ed., Italian Studies in the Philosophy of Science (Reidel, Dordrecht, 1980) 59–72.
—, An intuitionistic analogue of S4 as a logical modeling for science, J. Philos. Logic, to appear.
J. M. Font, Implication and deduction in some intuitionistic modal logics, Rep. Math. Logic 17 (1983) to appear.
K. Gödel, Eine Interpretation des Intuitionistischen Aussagenkalküls, Ergebnisse eines Mathematischen Kolloquiums 4 (1933) 39–40.
P.R. Halmos, Algebraic Logic I: Monadic Boolean algebras, Compos. Math. 12 (1955) 217–249.
A. Monteiro, La semisimplicité des algèbres de Boole topologiques et les systèmes déductifs, Rev. Union Mat. Argent. 25 (1971) 417–448.
J.C.C. McKinsey and A. Tarski, On closed elements in closure algebras, Ann. Math. 47 (1946) 122–162.
H. Ono, On some intuitionistic modal logics, Publ. Res. Inst. Math. Sci. Kyoto Univ. 13 (1977) 687–722.
A.N. Prior, Time and Modality (Oxford Univ. Press, 1957).
—, Formal Logic (Oxford Univ. Press, 1962).
H. Rasiowa, An algebraic approach to non-classical logics (North-Holland, Amsterdam, 1974).
H. Rasiowa and R. Sikorski, The mathematics of the metamathematics (P.W.N., Warszawa, 1970).
V. Verdú, Distributive and Boolean logics. Stochastica 3 (1979) 97–108.
G.H. von Wright, An essay in modal logic (North-Holland, Amsterdam, 1951).
M. Wajsberg, Ein erweiterter Klassenkalkül, Monatsh. Math. Phys. 40 (1933) 113–126.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Font, J.M. (1984). Monadicity in topological pseudo-boolean algebras. In: Müller, G.H., Richter, M.M. (eds) Models and Sets. Lecture Notes in Mathematics, vol 1103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099386
Download citation
DOI: https://doi.org/10.1007/BFb0099386
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13900-3
Online ISBN: 978-3-540-39115-9
eBook Packages: Springer Book Archive