Richard Zach
TitleCited byYear
Hilbert’s program
R Zach
Stanford Encyclopedia of Philosophy, 2003
1392003
Hilbert's program then and now
R Zach
Philosophy of logic, 411-447, 2007
892007
Completeness before Post: Bernays, Hilbert, and the development of propositional logic
R Zach
Bulletin of Symbolic Logic 5 (3), 331-366, 1999
841999
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
722009
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
671994
First-order Gödel logics
M Baaz, N Preining, R Zach
Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007
652007
Hypersequents and the proof theory of intuitionistic fuzzy logic
M Baaz, R Zach
International Workshop on Computer Science Logic, 187-201, 2000
632000
Proof theory of finite-valued logics
R Zach
Technische Universität Wien, 1993
631993
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program
R Zach
Synthese 137 (1), 211-259, 2003
592003
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
58*1993
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61 (1), 7-33, 1998
531998
The epsilon calculus
J Avigad, R Zach
Stanford Encyclopedia of Philosophy, 2002
512002
Compact propositional Gödel logics
M Baaz, R Zach
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International …, 1998
481998
Vagueness, logic and use: Four experimental studies on vagueness
P Serchuk, I Hargreaves, R Zach
Mind & Language 26 (5), 540-573, 2011
472011
Incompleteness of a first-order Gödel logic and some temporal logics of programs
M Baaz, A Leitsch, R Zach
International Workshop on Computer Science Logic, 1-15, 1995
361995
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
341996
The epsilon calculus and Herbrand complexity
G Moser, R Zach
Studia Logica 82 (1), 133-155, 2006
322006
Dual systems of sequents and tableaux for many-valued logics
M Baaz, CG Fermüller, R Zach
321993
MUltlog 1.0: Towards an expert system for many-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
International Conference on Automated Deduction, 226-230, 1996
281996
Quantified propositional Gödel logics
M Baaz, A Ciabattoni, R Zach
International Conference on Logic for Programming Artificial Intelligence …, 2000
232000
The system can't perform the operation now. Try again later.
Articles 1–20