- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Formal topologies on the set of first-order formulae
Journal of Symbolic Logic 65 (3):1183-1192 (2000)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Formal Topologies on the Set of First-Order Formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
Regular opens in constructive topology and a representation theorem for overlap algebras.Francesco Ciraulo - 2013 - Annals of Pure and Applied Logic 164 (4):421-436.
Tychonoff's theorem in the framework of formal topologies.Sara Negri & Silvio Valentini - 1997 - Journal of Symbolic Logic 62 (4):1315-1332.
Tychonoff's Theorem in the Framework of Formal Topologies.Sara Negri & Silvio Valentini - 1997 - Journal of Symbolic Logic 62 (4):1315-1332.
A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1‐3):1-18.
Review: Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Countable Algebra and Set Existence Axioms; Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Addendum to "Countable Algebra and Set Existence Axioms.". [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Review: Andrew M. Pitts, David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith, Interpolation and Conceptual Completeness for Pretoposes via Category Theory; Andrew M. Pitts, Conceptual Completeness for First-order Intutionistic Logic: An Application of Categorical Logic. [REVIEW]Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (2):692-694.
Review: Sara Turing, Alan M. Turing. [REVIEW]Th Skolem - 1960 - Journal of Symbolic Logic 25 (2):161-162.
Translating modal formulae as set-theoretic terms.G. D'Agostino, A. Montanari & A. Policriti - 1995 - Bulletin of Symbolic Logic 1 (2):230-231.
Analytics
Added to PP
2009-01-28
Downloads
52 (#315,029)
6 months
2 (#1,259,626)
2009-01-28
Downloads
52 (#315,029)
6 months
2 (#1,259,626)
Historical graph of downloads
Author's Profile
Citations of this work
A constructive Galois connection between closure and interior.Francesco Ciraulo & Giovanni Sambin - 2012 - Journal of Symbolic Logic 77 (4):1308-1324.
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
Formal Zariski topology: positivity and points.Peter Schuster - 2006 - Annals of Pure and Applied Logic 137 (1-3):317-359.
Cut elimination for entailment relations.Davide Rinaldi & Daniel Wessel - 2019 - Archive for Mathematical Logic 58 (5):605-625.
References found in this work
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-w2v2s uwo