Constructive version of Boolean algebra
From MaRDI portal
Publication:4925157
DOI10.1093/jigpal/jzs021zbMath1272.03160arXiv1203.4997MaRDI QIDQ4925157
Paola Toto, Maria Emilia Maietti, Francesco Ciraulo
Publication date: 11 June 2013
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.4997
06D22: Frames, locales
03F65: Other constructive mathematics
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
Related Items
Convergence in formal topology: a unifying notion, Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita, Intuitionistic mereology. II: Overlap and disjointness, On the decidability of axiomatized mereotopological theories