The preservation of Sahlqvist equations in completions of Boolean algebras with operators

Algebra Universalis

Volumn 41, Issue 1, 1999, Pages 47-84

  Givant, S ^a   Venema, Y ^b  

^a MILLS COLLEGE   (United States)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Boolean algebra with operators; Complex algebra; MacNeille Dedekind completion; Positive equations; Preservation theorem; Sahlqvist equations

Indexed keywords

EID: 0033474222     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000120050100     Document Type: Article

References (10)

1. DE RIJKE, M. and VENEMA, Y., Sahlqvist's theorem for Boolean algebras with operators, Studia Logica 54 (1995), 61-78.
2. HENKIN, L., MONK, J. D. and TARSKI, A., Cylindric algebras. Part I, North-Holland Publishing Company, Amsterdam, 1971, vi + 508 pp.
3. JÓNSSON, B., On the canonicity of Sahlqvist identities, Studia Logica 53 (1994), 473-491.
4. JÓNSSON, B. and TARSKI, A., Boolean algebras with operators. Part I, American Journal of Mathematics 73 (1951), 891-939.
5. MANGANI, P., Sulla quantificazione simultanea nelle algebre cilindriche, Bollettino della Unione Matematica Italiana 21 (1966), 302-311.
6. MONK, J. D., Completions of Boolean algebras with operators, Mathematische Nachrichten 46 (1970), 47-55.
7. SAHLQVIST, H., Completeness and correspondence in the first and second order semantics of modal logic, Proceedings of the Third Scandinavian Logic Symposium (editor: S. Kanger), Studies in Logic 82, North-Holland Publishing Company, 1975, pp. 110-143.
8. SIKORSKI, R., Boolean algebras, second edition, Ergebnisse der Mathematik und ihrer Grenzgebiete 25, Springer Verlag, Berlin, 1964, x + 237 pp.
9. VENEMA, Y., Derivation rules as anti-axioms in modal logic, Journal of Symbolic Logic 58 (1993), 1003-1034.
10. VENEMA, Y., Atom structures and Sahlqvist equations, Algebra universalis 38 (1997), 185-199.