Przeglądaj Bulletin of the Section of Logic według tematu "region-based topology"
Wyświetlanie pozycji 1-1 z 1
-
A comparison of two systems of point-free topology
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)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 ...