Special Issue on point-free geometry and topology. An introduction

DOI10.12775/LLP.2013.008zbMath1341.03004OpenAlexW1964937282MaRDI QIDQ4982396

No author found.

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.008

zbMATH Keywords

Boolean algebrasdecidabilitycategory theorymereologymulti-valued logicpoint-free topologyintuitionismpoint-free geometry

Mathematics Subject Classification ID

Topological spaces with richer structures (54E99) Collections of articles of miscellaneous specific interest (00B15) Metric geometry (51F99) Foundations of classical theories (including reverse mathematics) (03B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Mereological foundations of point-free geometry via multi-valued logic

This page was built for publication: Special Issue on point-free geometry and topology. An introduction