Similar Items: Quantifying over Boolean announcements
- Boolean proportions
- Boolean basis, formula size, and number of modal operators
- Complexity classifications for different equivalence and audit problems for Boolean circuits
- Overlap Algebras: a Constructive Look at Complete Boolean Algebras
- Brief announcement: A special case of maximum flow over time with network changes
- On linear rewriting systems for Boolean logic and some applications to proof theory