Richard Zach

Cited by

	All	Since 2019
Citations	1946	585
h-index	23	13
i10-index	34	15

140

105

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 5 6 27 11 21 18 17 54 19 40 34 38 53 111 53 84 81 100 59 84 84 76 83 84 74 111 89 103 132 101 48

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
Petr HájekPetr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Landon D. C. ElkindWestern Kentucky UniversityVerified email at wku.edu
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 Catholic UniversityVerified email at acu.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	244	2003
Hilbert's program then and now R Zach Philosophy of logic, 411-447, 2007	142	2007
Completeness before Post: Bernays, Hilbert, and the development of propositional logic R Zach Bulletin of Symbolic Logic 5, 331-366, 1999	120	1999
Proof theory of finite-valued logics R Zach Technische Universität Wien, 1993	101	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	96	2009
First-order Gödel logics M Baaz, N Preining, R Zach Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007	80	2007
The epsilon calculus J Avigad, R Zach Stanford Encyclopedia of Philosophy, 2002	80	2002
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program R Zach Synthese 137 (1), 211-259, 2003	79	2003
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	79	1994
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	74*	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	64	2011
Compact propositional Gödel logics M Baaz, R Zach Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International …, 1998	51	1998
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	42	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
The epsilon calculus and Herbrand complexity G Moser, R Zach Studia Logica 82 (1), 133-155, 2006	40	2006
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	36*	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	31	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