|
2
|
A Constructive Theory of Point-Set Nearness
– Luminita Vita, Douglas Bridges
- 2001
|
|
|
History of Constructivism in the 20th Century
– A.S. Troelstra
|
|
11
|
A Constructive Proof of Gleason’s Theorem
– Fred Richman, Douglas Bridges
- 1999
|
|
5
|
Addition Theorems
– Ehud Hrushovski A, Itamar Pitowsky B
- 1965
|
|
2
|
PLURALISM IN MATHEMATICS
– E. B. Davies
- 2004
|
|
2
|
Quantum logic: A brief outline
– Karl Svozil
- 1998
|
|
|
I. BASIC IDEAS
– Karl Svozil
- 2005
|
|
|
On the calculating power of Laplace’s demon (Part I)
– John Longley
- 2006
|
|
|
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels.
– James Lipton, Lauchli Countermodels, Michael J. O'donnell
- 1996
|
|
6
|
Constructive Mathematics, in Theory and Programming Practice
– Douglas Bridges, Douglas Bridges, Steve Reeves, Steve Reeves
- 1997
|
|
2
|
Relationships between constructive, predicative, and classical systems of analysis
– Solomon Feferman
|
|
2
|
Cauchy nets in the constructive theory of apartness spaces
– Douglas Bridges
- 2002
|
|
1
|
Computability of continuous solutions of higher-type equations
– Martín Escardó
- 2009
|
|
|
From a Practical Problems to Constructive
– Martine Ceberio, Vladik Kreinovich
|
|
|
QUANTUM LOGIC AND QUANTUM COMPUTATION
– Mladen Pavičić, Norman D. Megill
- 812
|
|
2
|
Implementation of Intuitionistic Type Theory and Realizability Theory
– Yuki Komagata, David A. Schmidt
- 1995
|
|
|
Epistemic truth and excluded middle*
– Cesare Cozzo, Università Di Roma ”la Sapienza
|
|
1
|
Reality and virtual reality in mathematics
– Douglas S. Bridges
|
|
7
|
Set Theory and Physics
– K. Svozil
- 1995
|
