Extended-order algebras. - Cosimo Guido; Paola Toto (J. Appl. Log., 2008)

Constructive version of Boolean algebra. - Francesco Ciraulo; Maria Emilia Maietti; Paola Toto (Log. J. IGPL, 2013)