DMCA

Conservativity of Boolean algebras with operators over semilattices with operators

by A. Kurucz , Y. Tanaka , F. Wolter , M. Zakharyaschev