Richard Zach

Cited by

	All	Since 2020
Citations	2099	615
h-index	24	13
i10-index	37	18

180

135

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 6 23 11 22 21 16 54 19 40 32 37 56 114 58 84 82 99 67 82 84 74 75 87 72 113 84 109 134 100 166 21

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. MagnusProfessor of Philosophy, University at AlbanyVerified email at fecundity.com
Tim ButtonUniversity College LondonVerified email at ucl.ac.uk
Landon D. C. ElkindWestern Kentucky UniversityVerified email at wku.edu
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Georg SchiemerUniversity of ViennaVerified email at univie.ac.at
Petr HájekPetr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
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
Gerhard WidmerProfessor of Computer Science, Johannes Kepler University LinzVerified email at jku.at
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	267	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	113	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	93	2007
The epsilon calculus J Avigad, R Zach Stanford Encyclopedia of Philosophy, 2002	89	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	80	1994
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program R Zach Synthese 137 (1), 211-259, 2003	79	2003
Hypersequents and the proof theory of intuitionistic fuzzy logic M Baaz, R Zach International Workshop on Computer Science Logic, 187-201, 2000	79*	2000
Labeled calculi and finite-valued logics M Baaz, CG Fermüller, G Salzer, R Zach Studia Logica 61, 7-33, 1998	74	1998
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	74*	1993
Vagueness, logic and use: Four experimental studies on vagueness P Serchuk, I Hargreaves, R Zach Mind & Language 26 (5), 540-573, 2011	69	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	37	1996
Hilbert's finitism: Historical, philosophical, and metamathematical perspectives R Zach University of California, Berkeley, 2001	35	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