Follow
Richard Zach
Title
Cited by
Cited by
Year
Hilbert’s program
R Zach
Stanford Encyclopedia of Philosophy, 2003
2472003
Hilbert's program then and now
R Zach
Philosophy of logic, 411-447, 2007
1422007
Completeness before Post: Bernays, Hilbert, and the development of propositional logic
R Zach
Bulletin of Symbolic Logic 5, 331-366, 1999
1211999
Proof theory of finite-valued logics
R Zach
Technische Universität Wien, 1993
1041993
The development of mathematical logic from Russell to Tarski: 1900-1935
P Mancosu, R Zach, C Badesa
The Development of Modern Logic, 318-470, 2009
962009
First-order Gödel logics
M Baaz, N Preining, R Zach
Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007
812007
The epsilon calculus
J Avigad, R Zach
Stanford Encyclopedia of Philosophy, 2002
812002
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program
R Zach
Synthese 137 (1), 211-259, 2003
792003
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
Journal of Information Processing and Cybernetics EIK 29 (6), 333–355, 1994
791994
Hypersequents and the proof theory of intuitionistic fuzzy logic
M Baaz, R Zach
International Workshop on Computer Science Logic, 187-201, 2000
75*2000
Systematic construction of natural deduction systems for many-valued logics
M Baaz, CG Fermuller, R Zach
Proceedings of The Twenty-Third International Symposium on Multiple-Valued …, 1993
75*1993
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61, 7-33, 1998
731998
Vagueness, logic and use: Four experimental studies on vagueness
P Serchuk, I Hargreaves, R Zach
Mind & Language 26 (5), 540-573, 2011
642011
Compact propositional Gödel logics
M Baaz, R Zach
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International …, 1998
521998
Dual systems of sequents and tableaux for many-valued logics
M Baaz, CG Fermüller, R Zach
Bulletin of the EATCS 51, 192-197, 1993
421993
Completeness of a first-order temporal logic with time-gaps
M Baaz, A Leitsch, R Zach
Theoretical Computer Science 160 (1-2), 241-270, 1996
411996
The epsilon calculus and Herbrand complexity
G Moser, R Zach
Studia Logica 82 (1), 133-155, 2006
402006
Incompleteness of a first-order Gödel logic and some temporal logics of programs
M Baaz, A Leitsch, R Zach
Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference …, 1996
371996
Hilbert's finitism: Historical, philosophical, and metamathematical perspectives
R Zach
University of California, Berkeley, 2001
36*2001
Numbers and functions in Hilbert's finitism
R Zach
Taiwanese Journal for History and Philosophy of Science 10, 33-60, 1998
311998
The system can't perform the operation now. Try again later.
Articles 1–20