23 citations · 23 across the 2 of their papers we have counts for
1 paper · 1 filter
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…