Topology via Logic

Journal of Symbolic Logic 56 (3):1101 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

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

Through your library

Similar books and articles

Review: Steven Vickers, Topology via Logic. [REVIEW]P. T. Johnstone - 1991 - Journal of Symbolic Logic 56 (3):1101-1102.
Cosheaves and connectedness in formal topology.Steven Vickers - 2012 - Annals of Pure and Applied Logic 163 (2):157-174.
Philosophical Topology.Yi Jiang - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:59-74.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Fuzzy topology representation for MV‐algebras.Jialu Zhang & Quanfa Chen - 2009 - Mathematical Logic Quarterly 55 (3):259-270.
Remarks on elementary duality.Mike Prest - 1993 - Annals of Pure and Applied Logic 62 (2):183-205.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.
Topology as an Issue for History of Philosophy of Science.Thomas Mormann - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer. pp. 423--434.
Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Type-Definable and Invariant Groups in O-Minimal Structures.Jana Maříková - 2007 - Journal of Symbolic Logic 72 (1):67 - 80.
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.

Analytics

Added to PP
2016-06-30

Downloads
22 (#713,803)

6 months
7 (#440,443)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references