Mijajlovic, Zarko Two remarks on Boolean algebras. (English) Zbl 0493.03037 Algebraic conference, Skopje 1980, 35-41 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03G05 Logical aspects of Boolean algebras 03B45 Modal logic (including the logic of norms) 03C40 Interpolation, preservation, definability 06E99 Boolean algebras (Boolean rings) Keywords:Boolean equations; modal logic S5; quantifier-free fragment; Vaught’s theorem; Horn sentence Citations:Zbl 0469.00007 PDFBibTeX XML