Authors
Rafał Gruszczyński
Nicolaus Copernicus University
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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.18778/0138-0680.47.3.04
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,735
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Special Issue on Point-Free Geometry and Topology.Cristina Coppola & Giangiacomo Gerla - 2013 - Logic and Logical Philosophy 22 (2):139-143.
For a Topology of Dynamical Systems.Claudio Mazzola & Marco Giunti - 2016 - In Gianfranco Minati, Mario Abram & Eliano Pessa (eds.), Towards a Post-Bertalanffy Systemics. Springer. pp. 81-87.
On the Formal Points of the Formal Topology of the Binary Tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
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.
Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.
Are Causality Violations Undesirable?Hunter Monroe - 2008 - Foundations of Physics 38 (11):1065-1069.
Extension Without Cut.Lutz Straßburger - 2012 - Annals of Pure and Applied Logic 163 (12):1995-2007.
Similarity, Topology, and Physical Significance in Relativity Theory.Samuel C. Fletcher - 2016 - British Journal for the Philosophy of Science 67 (2):365-389.

Analytics

Added to PP index
2019-04-25

Total views
4 ( #1,224,047 of 2,432,391 )

Recent downloads (6 months)
1 ( #465,713 of 2,432,391 )

How can I increase my downloads?

Downloads

My notes