Preface of special issue on formal topology

&
Annals of Pure and Applied Logic (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

  • This entry has no external links. Add one.
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

On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Special Issue on Point-Free Geometry and Topology.Cristina Coppola & Giangiacomo Gerla - 2013 - Logic and Logical Philosophy 22 (2):139-143.
Every countably presented formal topology is spatial, classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.
Minimal invariant spaces in formal topology.Thierry Coquand - 1997 - Journal of Symbolic Logic 62 (3):689-698.
Preface.Bernhard Banaschewski, Thierry Coquand & Giovanni Sambin - 2006 - Annals of Pure and Applied Logic 137 (1-3):1-2.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.
Preface.Andrej Bauer, Thierry Coquand, Giovanni Sambin & Peter M. Schuster - 2012 - Annals of Pure and Applied Logic 163 (2):85-86.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
Logic and Probability: Reasoning in Uncertain Environments – Introduction to the Special Issue.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):663-671.
Metric complements of overt closed sets.Thierry Coquand, Erik Palmgren & Bas Spitters - 2011 - Mathematical Logic Quarterly 57 (4):373-378.
Formal topologies on the set of first-order formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
FEW 2009 Special Issue: Preface. [REVIEW]Branden Fitelson - 2010 - Journal of Philosophical Logic 39 (6):591-591.
The Aristotelian Continuum. A Formal Characterization.Peter Roeper - 2006 - Notre Dame Journal of Formal Logic 47 (2):211-232.
Preface special issue'Perspectives on strategic maneuvering'.F. H. van Eemeren & P. Houtlosser - 2007 - Argumentation 20:377-380.

Analytics

Added to PP
2013-12-31

Downloads
5 (#1,463,568)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references