Personal information

Austria, Canada

Activities

Employment (1)

University of Calgary: Calgary, AB, CA

2001 to present | Professor (Philosophy)
Employment
Source: Self-asserted source
Richard Zach

Education and qualifications (1)

University of California, Berkeley: Berkeley, CA, US

1994 to 2001 | PhD (Group in Logic and the Methodology of Science)
Education
Source: Self-asserted source
Richard Zach

Works (50 of 53)

Items per page:
Page 1 of 2

The Genealogy of 'v'

Review of Symbolic Logic
2022 | Journal article
EID:

2-s2.0-85122295541

Part of ISSN: 17550211 17550203
Contributors: Elkind, L.D.C.; Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier
grade
Preferred source (of 4)‎

Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

Logic and Logical Philosophy
2022-07-27 | Journal article
Contributors: Richard Zach
Source: check_circle
Crossref

Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)

Journal of Philosophical Logic
2022-06 | Journal article
Contributors: Richard Zach
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi

Review of Symbolic Logic
2021 | Journal article
EID:

2-s2.0-85093825139

Part of ISSN: 17550211 17550203
Contributors: Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier
grade
Preferred source (of 4)‎

CUT-FREE COMPLETENESS for MODULAR HYPERSEQUENT CALCULI for MODAL LOGICS K, T, and D

Review of Symbolic Logic
2021 | Journal article
EID:

2-s2.0-85094621166

Part of ISSN: 17550211 17550203
Contributors: BURNS, S.; ZACH, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier
grade
Preferred source (of 4)‎

An Introduction to Proof Theory

2021-10 | Book
Contributors: Paolo Mancosu; Sergio Galvan; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Epsilon Theorems in Intermediate Logics

arXiv
2019 | Other
EID:

2-s2.0-85122380315

Part of ISSN: 23318422
Contributors: Baaz, M.; Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier
grade
Preferred source (of 4)‎

The Significance of the Curry-Howard Isomorphism

Philosophy of Logic and Mathematics
2019-11 | Other
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC

The Australasian Journal of Logic
2018-07 | Journal article
Part of ISSN: 1448-5052
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 3)‎

Rumfitt on truth-grounds, negation, and vagueness

Philosophical Studies
2018-05 | Journal article
Part of ISSN: 0031-8116
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)

Journal of Philosophical Logic
2016 | Journal article
EID:

2-s2.0-84929223723

Part of ISSN: 15730433 00223611
Contributors: Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier
grade
Preferred source (of 2)‎

Semantics and Proof Theory of the Epsilon Calculus

Logic and Its Applications
2016 | Other
Part of ISSN: 0302-9743
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Carnap’s early metatheory: scope and limits

Synthese
2015-09 | Journal article
Part of ISSN: 0039-7857
Contributors: Georg Schiemer; Richard Zach; Erich Reck
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC

The Bulletin of Symbolic Logic
2015-06-04 | Journal article
Part of ISSN: 1079-8986
Contributors: PAOLO MANCOSU; RICHARD ZACH
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

George S. Boolos, John P. Burgess, and Richard C. Jeffrey. Computability and logic, Fourth edition. Cambridge University Press, Cambridge, 2002. xi + 356 pp.

Bulletin of Symbolic Logic
2014-01 | Journal article
Part of ISSN: 1079-8986
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Vagueness, Logic and Use: Four Experimental Studies on Vagueness

Mind & Language
2011-11-03 | Journal article
Part of ISSN: 0268-1064
Contributors: PHIL SERCHUK; IAN HARGREAVES; RICHARD ZACH
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

The Development of Mathematical Logic from Russell to Tarski, 1900–1935 (with Richard Zach and Calixto Badesa)

The Adventure of Reason
2010-11 | Other
Contributors: Paolo Mancosu
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

The Development of Mathematical Logic from Russell to Tarski, 1900-1935

The Development of Modern Logic
2009 | Book
EID:

2-s2.0-78149442984

Contributors: Mancosu, P.; Zach, R.; Badesa, C.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier

The Development of Mathematical Logic from Russell to Tarski, 1900–1935

The Development of Modern Logic
2009-06 | Other
Contributors: Paolo Mancosu; Richard Zach; Calixto Badesa
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Special issue: Mathematical methods in philosophy Editors' introduction

Review of Symbolic Logic
2008 | Journal article
EID:

2-s2.0-84989181195

Part of ISSN: 17550211 17550203
Contributors: Antonelli, A.; Urquhart, A.; Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier

Hilbert's Program Then and Now

Philosophy of Logic
2007 | Other
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 3)‎

First-order Gödel logics

Annals of Pure and Applied Logic
2007-06 | Journal article
Part of ISSN: 0168-0072
Contributors: Matthias Baaz; Norbert Preining; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta

36th International Symposium on Multiple-Valued Logic (ISMVL'06)
2006 | Other
Contributors: M. Baaz; N. Preining; R. Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Kurt Gödel and Computability Theory

Logical Approaches to Computational Barriers
2006 | Other
Part of ISSN: 0302-9743
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

The Epsilon Calculus and Herbrand Complexity

Studia Logica
2006-02 | Journal article
Part of ISSN: 0039-3215
Contributors: Georg Moser; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Kurt Gödel, paper on the incompleteness theorems (1931)

Landmark Writings in Western Mathematics 1640-1940
2005 | Other
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 3)‎

Book Review

History and Philosophy of Logic
2005-11 | Journal article
Part of ISSN: 0144-5340
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap

Notre Dame Journal of Formal Logic
2005-10-01 | Journal article
Part of ISSN: 0029-4527
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

MULTLOG: A system for axiomatizing many-valued logics

Logic Programming and Automated Reasoning
2005-06-07 | Other
Part of ISSN: 0302-9743
Contributors: Matthias Baaz; Christian G. Fermüller; Arie Ovrutcki; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

MUltlog 1.0: Towards an expert system for many-valued logics

Automated Deduction — Cade-13
2005-06-04 | Other
Part of ISSN: 0302-9743
Contributors: Matthias Baaz; Christian G. Fermüller; Gernot Salzer; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Incompleteness of a first-order gödel logic and some temporal logics of programs

Computer Science Logic
2005-06-02 | Other
Part of ISSN: 0302-9743
Contributors: Matthias Baaz; Alexander Leitsch; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Algorithmic structuring of cut-free proofs

Computer Science Logic
2005-05 | Other
Part of ISSN: 0302-9743
Contributors: Matthias Baaz; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier

Philosophiques
2004 | Journal article
Part of ISSN: 0316-2923
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs

History and Philosophy of Logic
2004-05 | Journal article
Part of ISSN: 0144-5340
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω

Journal of Philosophical Logic
2004-04 | Journal article
Part of ISSN: 0022-3611
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Characterization of the axiomatizable prenex fragments of first-order Gödel logics

Proceedings of The International Symposium on Multiple-Valued Logic
2003 | Conference paper
EID:

2-s2.0-0038495659

Part of ISSN: 0195623X
Contributors: Baaz, M.; Preining, N.; Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier

The epsilon calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003 | Book
EID:

2-s2.0-35248838852

Part of ISSN: 16113349 03029743
Contributors: Moser, G.; Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier

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

Synthese
2003-11 | Journal article
Part of ISSN: 0039-7857
Contributors: Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Tableaux for Reasoning about Atomic Updates

Logic for Programming, Artificial Intelligence, and Reasoning
2001-11 | Other
Part of ISSN: 0302-9743
Contributors: Christian G. Fermüller; Georg Moser; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic

Computer Science Logic
2001-06 | Other
Part of ISSN: 0302-9743
Contributors: Matthias Baaz; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Completeness before post: Bernays, Hilbert, and the development of propositional logic

Bulletin of Symbolic Logic
1999 | Journal article
EID:

2-s2.0-0033246736

Part of ISSN: 10798986
Contributors: Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier
grade
Preferred source (of 2)‎

Labeled calculi and finite-valued logics

Studia Logica
1998 | Journal article
EID:

2-s2.0-54549127995

Part of ISSN: 15728730 00393215
Contributors: Baaz, M.; Fermüllbr, C.G.; Salzer, G.; Zach, R.
Source: Self-asserted source
Richard Zach via Scopus - Elsevier

Note on generalizing theorems in algebraically closed fields

Archive for Mathematical Logic
1998-07-01 | Journal article
Part of ISSN: 0933-5846
Contributors: Matthias Baaz; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Completeness of a first-order temporal logic with time-gaps

Theoretical Computer Science
1996-06 | Journal article
Part of ISSN: 0304-3975
Contributors: Matthias Baaz; Alexander Leitsch; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Generalizing theorems in real closed fields

Annals of Pure and Applied Logic
1995-09 | Journal article
Part of ISSN: 0168-0072
Contributors: Matthias Baaz; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Review of Leonard Bole and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991

Journal of Applied Non-Classical Logics
1994-01 | Journal article
Part of ISSN: 1166-3081
Contributors: Petr Hajek; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 2)‎

Approximating propositional calculi by finite-valued logics

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)
Other
Contributors: M. Baaz; R. Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 3)‎

Characterization of the axiomatizable prenex fragments of first-order Godel logics

33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.
Other
Contributors: M. Baaz; N. Preining; R. Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search

Compact propositional Godel logics

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138)
Other
Contributors: M. Baaz; R. Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 3)‎

Effective Finite-Valued Approximations of General Propositional Logics

Pillars of Computer Science
Other
Contributors: Matthias Baaz; Richard Zach
Source: Self-asserted source
Richard Zach via Crossref Metadata Search
grade
Preferred source (of 4)‎
Items per page:
Page 1 of 2

Peer review (2 reviews for 2 publications/grants)

Review activity for HOPOS. (1)
Review activity for Journal of philosophical logic. (1)