Intuitionistic overlap structures

DOI10.12775/LLP.2013.011MaRDI QIDQ4982400zbMATH OpenOpenAlexFDO

Authors Francesco Ciraulo

Publication date 9 April 2015

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2013.011

zbMATH Keywords

connection structuresconstructive reasoningmereological fieldsoverlap algebras

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Linear incidence geometry (51A99) Topological spaces and generalizations (closure spaces, etc.) (54A05) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10)

Recommendations

• The overlap algebra of regular opens
• Regular opens in constructive topology and a representation theorem for overlap algebras
• Formalising overlap algebras in Matita
• Spatiality for formal topologies
• Constructive version of Boolean algebra

Cited in

(6)

• Regular opens in constructive topology and a representation theorem for overlap algebras
• Formalising overlap algebras in Matita
• Overlap algebras: a constructive look at complete Boolean algebras
• Intuitionistic mereology
• Intuitionistic mereology. II: Overlap and disjointness
• The overlap algebra of regular opens

This page was built for publication: Intuitionistic overlap structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982400)