Atomless varieties

Journal of Symbolic Logic

Volumn 68, Issue 2, 2003, Pages 607-614

  Venema, Yde ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0038171276     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1052669066     Document Type: Article

References (10)

1. P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
2. S. Giyant, Universal classes of simple relation algebras, this Journal, vol. 64 (1999), pp. 575-589.
3. R. Goldblatt, Varieties of Complex Algebras, Annals of Pure and Applied Logic, vol. 38 (1989), pp. 173-241.
4. R. Goldblatt, Persistence and atomic generation for varieties of Boolean algebras with operators, Studia Logica, vol. 68 (2001), pp. 155-171.
5. P. Jipsen, Discriminator varieties of Boolean algebras with residuated operators, In Rauszer [8], pp. 239-252.
6. M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev (editors), Advances in Modal Logic, Volume 1, CSLI Publications, 1998.
7. M. Kracht and T. Kowalski, Atomic incompleteness or how to kill one bird with two stones, Bulletin of the Section of Logic, vol. 30 (2001), pp. 71-78.
8. C. Rauszer (editor), Algebraic Methods in Logic and Computer Science, Banach Center Publications, vol. 28, Polish Academy of Sciences, 1999.
9. S. K. Thomason, An incompleteness theorem in modal logic, Theoria, vol. 40 (1974), pp. 150-158.
10. Y. Venema, Atom structures, In Kracht et al. [6], pp. 291-305.