Concepedia

Richard Zach

RZ

18

Publications

820

Citations

16

H-Index

1993

Active since

Affiliations

University of Calgary(Current)

University of California, Berkeley

Richard Zach is an author at University of Calgary specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsLanguageFormal LogicNon-monotonic LogicPhilosophy Of Language

Publications per year

1993–2020

18

Publications

18

Vagueness, Logic and Use: Four Experimental Studies on Vagueness

Phil Serchuk, Ian S. Hargreaves, Richard Zach · Mind & Language · 2011 · 143 citations

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

Richard Zach · Synthese · 2003 · 95 citations

Epsilon Calculus, Engineering, Automated Reasoning +10

Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic

Richard Zach · Bulletin of Symbolic Logic · 1999 · 92 citations · Full text

Engineering, Classical Logic, Semantics +17

First-order Gödel logics

Matthias Baaz, Norbert Preining, Richard Zach · Annals of Pure and Applied Logic · 2007 · 64 citations · Full text

Engineering, Automated Reasoning, Classical Logic +4

Labeled Calculi and Finite-Valued Logics

Matthias Baaz, Christian G. Fermüller, Gernot Salzer et al. · Studia Logica · 1998 · 49 citations

Rows per page

1–5 of 18