Journal of Symbolic Logic 68 (3):795-802 (2003)
|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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Douglas Bridges & Luminiţa Vîţă (2004). Corrigendum to "a Proof-Technique in Uniform Space Theory". Journal of Symbolic Logic 69 (1):328-328.
Harold Simmons (2005). Tiering as a Recursion Technique. Bulletin of Symbolic Logic 11 (3):321-350.
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
Raymond M. Smullyan (1985). Uniform Self-Reference. Studia Logica 44 (4):439 - 445.
Marta Bílková (2007). Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica 85 (1):1 - 31.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Peter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #291,386 of 722,826 )
Recent downloads (6 months)0
How can I increase my downloads?