Overlap Algebra

References

• Ciraulo, Francesco, and Giovanni Sambin. “The Overlap Algebra of Regular Opens.” Journal of Pure and Applied Algebra 214, no. 11 (November 1, 2010): 1988–95. https://doi.org/10.1016/j.jpaa.2010.02.002.
• Ciraulo, Francesco, and Michele Contente. “Overlap Algebras: A Constructive Look at Complete Boolean Algebras.” Logical Methods in Computer Science Volume 16, Issue 1 (February 13, 2020): 5417. https://doi.org/10.23638/LMCS-16(1:13)2020.