Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators Robert Goldblatt OriginalPaper Pages: 155 - 171
A Kripke Semantics for the Logic of Gelfand Quantales Gerard AllweinWendy MacCaull OriginalPaper Pages: 173 - 228
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic Mojtaba AghaeiMohammad Ardeshir OriginalPaper Pages: 263 - 285