Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Richard Zach
Observed names:
R. Zach,
RICHARD ZACH,
Richard K. Zach,
Zach, Richard,
Zach, Richard 1919-1943
Institution:
University of Calgary
Observed institutions:
University of Notre Dame,
TU Wien,
Austrian Research Institute for Artificial Intelligence,
University of Calgary,
Princeton University,
University of Oxford,
Czech Academy of Sciences, Institute of Computer Science,
University of California, Berkeley
show all 8
ORCID:
0000-0003-1633-8324
Observed ORCID:
0000-0003-1633-8324
OpenAlex ID:
A5086862307
Vagueness, Logic and Use: Four Experimental Studies on Vagueness
2011
·
PHIL SERCHUK
, IAN HARGREAVES
, et al.
·
Mind & Language
·
146
PDF
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
2003
·
Richard Zach
·
Synthese
·
96
PDF
Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
1999
·
Richard Zach
·
Bulletin of Symbolic Logic
·
92
Hilbert's Program Then and Now
2007
·
Richard Zach
·
Elsevier eBooks
·
74
PDF
The Development of Mathematical Logic from Russell to Tarski, 1900–1935
2009
·
Paolo Mancosu
, Richard Zach
, et al.
·
Oxford University Press eBooks
·
67
PDF
First-order Gödel logics
2007
·
Matthias Baaz
, Norbert Preining
, et al.
·
Annals of Pure and Applied Logic
·
63
PDF
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
2000
·
Matthias Baaz
, Richard Zach
·
Lecture notes in computer science
·
52
PDF
Elimination of cuts in first-order finite-valued logics
1994
·
Baaz, Matthias
, Fermüller, Christian G.
, et al.
·
Libraries and Cultural Resources (University of Calgary)
·
52
PDF
Labeled Calculi and Finite-Valued Logics
1998
·
Matthias Baaz
, Christian G. Fermüller
, et al.
·
Studia Logica
·
51
Systematic construction of natural deduction systems for many-valued logics
2002
·
M. Baaz
, C.G. Fermuller
, et al.
·
50
PDF
Proof Theory of Finite-valued Logics
1993
·
Zach, Richard
·
47
PDF
The Epsilon Calculus and Herbrand Complexity
2006
·
Georg Moser
, Richard Zach
·
Studia Logica
·
33
PDF
Compact propositional Godel logics
2002
·
M. Baaz
, R. Zach
·
Proceedings/Proceedings - International Symposium on Multiple-Valued Logic
·
32
PDF
Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
2004
·
Richard Zach
·
History and Philosophy of Logic
·
30
PDF
MUltlog 1.0: Towards an expert system for many-valued logics
1996
·
Matthias Baaz
, Christian G. Fermüller
, et al.
·
Lecture notes in computer science
·
30
Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic
2015
·
PAOLO MANCOSU
, RICHARD ZACH
·
Bulletin of Symbolic Logic
·
29
PDF
Dual systems of sequents and tableaux for many-valued logics
1993
·
Baaz, Matthias
, Fermüller, Christian G.
, et al.
·
Libraries and Cultural Resources (University of Calgary)
·
29
PDF
The Epsilon Calculus
2003
·
Georg Moser
, Richard Zach
·
Lecture notes in computer science
·
26
Incompleteness of a first-order gödel logic and some temporal logics of programs
1996
·
Matthias Baaz
, Alexander Leitsch
, et al.
·
Lecture notes in computer science
·
24
PDF
Cut Elimination and Normalization for Generalized Single and Multi-conclusion Sequent and Natural Deduction Calculi
2020
·
RICHARD ZACH
·
The Review of Symbolic Logic
·
22
PDF
Completeness of a first-order temporal logic with time-gaps
1996
·
Matthias Baaz
, Alexander Leitsch
, et al.
·
Theoretical Computer Science
·
21
PDF
An Introduction to Proof Theory
2021
·
Paolo Mancosu
, Sergio Galvan
, et al.
·
19
Numbers and functions in Hilbert's finitism
1998
·
Richard Zach
·
PhilPapers (PhilPapers Foundation)
·
18
Rumfitt on truth-grounds, negation, and vagueness
2018
·
Richard Zach
·
Philosophical Studies
·
14
PDF
Generalizing theorems in real closed fields
1995
·
Matthias Baaz
, Richard Zach
·
Annals of Pure and Applied Logic
·
13
Show more works
View as search
Works count:
131
Citation count:
1,303
H-index:
21
I10-index:
29
Year
Topic
Type
