A Proof—technique In Uniform Space Theory

&
Journal of Symbolic Logic 68 (3):795-802 (2003)
  Copy   BIBTEX

Abstract

In the constructive theory of uniform spaces there occurs a technique of proof in which the application of a weak form of the law of excluded middle is circumvented by purely analytic means. The essence of this proof—technique is extracted and then applied in several different situations.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

A proof–technique in uniform space theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.
Corrigendum to “A proof–technique in uniform space theory”.Douglas Bridges & Luminiţa Vîţӑ - 2004 - Journal of Symbolic Logic 69 (1):328-328.
Sequent reconstruction in LLM—A sweepline proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Universes in metapredicative analysis.Christian Rüede - 2003 - Archive for Mathematical Logic 42 (2):129-151.
Apartness, Topology, and Uniformity: a Constructive View.Douglas Bridges, Peter Schuster & Luminiţa Vîţă - 2002 - Mathematical Logic Quarterly 48 (4):16-28.
On proximal convergence in uniform spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (6):550.
Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.
Proof theory of classical and intuitionistic logic.Jan von Plato - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
Argumentative aspects of indirect proof.James Gasser - 1992 - Argumentation 6 (1):41-49.
Proximal and uniform convergence on apartness spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (3):255.

Analytics

Added to PP
2017-02-21

Downloads
1 (#1,909,106)

6 months
1 (#1,503,385)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references