Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Intuitionistic overlap structures - MaRDI portal

Intuitionistic overlap structures

From MaRDI portal

Publication:4982400

Jump to:navigation, search

DOI10.12775/LLP.2013.011zbMath1341.03016OpenAlexW2041972855MaRDI QIDQ4982400

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

mereological fields connection structures overlap algebras constructive reasoning

Mathematics Subject Classification ID

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

Related Items (2)

Intuitionistic mereology ⋮ Intuitionistic mereology. II: Overlap and disjointness

This page was built for publication: Intuitionistic overlap structures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4982400&oldid=19425410"