Similar Items: Boolean basis, formula size, and number of modal operators
- Boolean proportions
- Quantifying over Boolean announcements
- Complexity classifications for different equivalence and audit problems for Boolean circuits
- Overlap Algebras: a Constructive Look at Complete Boolean Algebras
- On linear rewriting systems for Boolean logic and some applications to proof theory
- From formulas to cirquents in computability logic