1 paper
Francesco Ciraulo, Maria Emilia Maietti, Paola Toto
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: w…