Richard Zach

Cited by

	All	Since 2019
Citations	2065	687
h-index	24	13
i10-index	36	21

140

105

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 6 27 11 21 21 17 54 19 40 34 38 55 112 56 85 83 100 62 87 85 76 77 85 74 111 85 109 135 108 136

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyVerified email at logic.at
Norbert PreiningMercari Inc.Verified email at preining.info
Gernot SalzerAssociate Professor of Computer Science, Technische Universität WienVerified email at logic.at
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Georg MoserProfessor for Computer Science, University of InnsbruckVerified email at uibk.ac.at
Ian HargreavesVerified email at atb.com
P.D. MagnusPhilosophy, University at AlbanyVerified email at fecundity.com
Tim ButtonUniversity College LondonVerified email at ucl.ac.uk
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Georg SchiemerUniversity of ViennaVerified email at univie.ac.at
Landon D. C. ElkindWestern Kentucky UniversityVerified email at wku.edu
Petr HájekPetr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Gerhard WidmerProfessor of Computer Science, Johannes Kepler University LinzVerified email at jku.at
Alasdair UrquhartProfessor Computer Science Emeritus, University of TorontoVerified email at cs.toronto.edu
G. Aldo AntonelliProfessor of Philosophy, UC DavisVerified email at ucdavis.edu
Gillian RussellAustralian National UniversityVerified email at anu.edu.au
Steve AwodeyCarnegie Mellon UniversityVerified email at cmu.edu
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Volker PeckhausPaderborn UniversityVerified email at upb.de
Dave Barker-PlummerCSLI, Stanford UniversityVerified email at stanford.edu

Richard Zach

Professor of Philosophy, University of Calgary

Verified email at ucalgary.ca - Homepage

Logic History of Analytic Philosophy Mathematical Logic Philosophy of Logic Philosophy of Mathematics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Hilbert’s program R Zach Stanford Encyclopedia of Philosophy, 2003	259	2003
Hilbert's program then and now R Zach Philosophy of logic, 411-447, 2007	153	2007
Completeness before Post: Bernays, Hilbert, and the development of propositional logic R Zach Bulletin of Symbolic Logic 5, 331-366, 1999	122	1999
Proof theory of finite-valued logics R Zach Technische Universität Wien, 1993	110	1993
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	98	2009
First-order Gödel logics M Baaz, N Preining, R Zach Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007	88	2007
The epsilon calculus J Avigad, R Zach Stanford Encyclopedia of Philosophy, 2002	87	2002
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	82	1994
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program R Zach Synthese 137 (1), 211-259, 2003	80	2003
Hypersequents and the proof theory of intuitionistic fuzzy logic M Baaz, R Zach International Workshop on Computer Science Logic, 187-201, 2000	78*	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	73	1998
Vagueness, logic and use: Four experimental studies on vagueness P Serchuk, I Hargreaves, R Zach Mind & Language 26 (5), 540-573, 2011	67	2011
Compact propositional Gödel logics M Baaz, R Zach Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International …, 1998	55	1998
The epsilon calculus and Herbrand complexity G Moser, R Zach Studia Logica 82 (1), 133-155, 2006	44	2006
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	44	1993
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	41	1996
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	39	1996
Hilbert's finitism: Historical, philosophical, and metamathematical perspectives R Zach University of California, Berkeley, 2001	37	2001
MUltlog 1.0: Towards an expert system for many-valued logics M Baaz, CG Fermüller, G Salzer, R Zach Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996	34	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors