A comparison of two systems of point-free topology

&
Bulletin of the Section of Logic 47 (3):187 (2018)
  Copy   BIBTEX

Abstract

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 presence of axiom stipulating non-existence of atoms.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.47.3.04

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,019

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures.Rafał Gruszczyński & Andrzej Pietruszczak - 2018 - Studia Logica 106 (6):1197-1238.
A Mystery of Grzegorczyk’s Logic of Descriptions.Joanna Golińska-Pilarek & Taneli Huuskonen - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 731-745.
Space, points and mereology. On foundations of point-free Euclidean geometry.Rafał Gruszczyński & Andrzej Pietruszczak - 2009 - Logic and Logical Philosophy 18 (2):145-188.
Special Issue on Point-Free Geometry and Topology.Cristina Coppola & Giangiacomo Gerla - 2013 - Logic and Logical Philosophy 22 (2):139-143.
Non-Fregean Logics of Analytic Equivalence (II).Andrzej Biłat - 2015 - Bulletin of the Section of Logic 44 (1/2):69-79.
Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point.Loredana Biacino & Giangiacomo Gerla - 1996 - Notre Dame Journal of Formal Logic 37 (3):431-439.
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points.Rafał Gruszczyński & Andrzej Pietruszczak - 2019 - Studia Logica 107 (4):809-843.
Foundations for the formalization of metamathematics and axiomatizations of consequence theories.Urszula Wybraniec-Skardowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):243-266.
A blend of methods of recursion theory and topology.Iraj Kalantari & Larry Welch - 2003 - Annals of Pure and Applied Logic 124 (1-3):141-178.
The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.

Analytics

Added to PP
2019-04-25

Downloads
28 (#785,338)

6 months
6 (#820,551)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rafał Gruszczyński
Nicolaus Copernicus University
Andrzej Pietruszczak
Nicolaus Copernicus University

Citations of this work

Add more citations

References found in this work

Add more references