Constructive version of Boolean algebra
From MaRDI portal
Publication:4925157
DOI10.1093/jigpal/jzs021zbMath1272.03160arXiv1203.4997OpenAlexW1981071241MaRDI 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
Frames, locales (06D22) Other constructive mathematics (03F65) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items (6)
Intuitionistic mereology ⋮ Overlap Algebras as Almost Discrete Locales ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ Convergence in formal topology: a unifying notion ⋮ Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita ⋮ On the decidability of axiomatized mereotopological theories
This page was built for publication: Constructive version of Boolean algebra
