- Tytuł:
- A comparison of two systems of point-free topology
- Autorzy:
-
Gruszczyński, Rafał
Pietruszczak, Andrzej - Powiązania:
- https://bibliotekanauki.pl/articles/749986.pdf
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
point-free topology
region-based topology
foundations of topology
mereology
mereological structures
separation structures
connection structures
Grzegorczyk structures
Biacino-Gerla structures. - Opis:
- This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide (in the sense that their axioms are satisfied in the same class of structures) in presence of axiom stipulating non-existence of atoms.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł