Richard Zach

Available identifiers

zbMath Open zach.richardWikidataQ18574964 ScholiaQ18574964MaRDI QIDQ288246

List of research outcomes

Publication	Date of Publication	Type
THE GENEALOGY OF ‘’	2023-09-20	Paper
Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC	2023-07-03	Paper
Some Unpublished Letters by G\"odel and von Neumann in the Fraenkel Archive	2023-01-23	Paper
EPSILON THEOREMS IN INTERMEDIATE LOGICS	2022-06-15	Paper
Corrections to: ``Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)	2022-06-01	Paper
CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D	2022-02-07	Paper
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI	2022-01-26	Paper
An Introduction to Proof Theory	2021-08-24	Paper
The Significance of the Curry-Howard Isomorphism	2020-08-21	Paper
Semantics and Proof Theory of the Epsilon Calculus	2019-07-24	Paper
Epsilon Theorems in Intermediate Logics	2019-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4967207	2019-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4967208	2019-07-03	Paper
Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC	2019-03-19	Paper
MUltlog 1.0: Towards an expert system for many-valued logics	2019-01-15	Paper
Carnap's early metatheory: scope and limits	2018-03-27	Paper
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)	2016-05-25	Paper
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC	2016-03-18	Paper
Lectures on the Epsilon Calculus	2014-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q3016124	2011-07-13	Paper
Tableaux for Reasoning about Atomic Updates	2011-05-06	Paper
Effective Finite-Valued Approximations of General Propositional Logics	2008-03-25	Paper
First-order Gödel logics	2007-06-25	Paper
Computer Science Logic	2007-06-21	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
The epsilon calculus and Herbrand complexity	2006-03-17	Paper
Hilbert's Program Then and Now	2005-08-29	Paper
Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs	2005-02-09	Paper
Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4431386	2003-10-21	Paper
Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics	2003-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q2767023	2002-06-30	Paper
Approximating Propositional Calculi by Finite-valued Logics	2002-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q2753673	2001-11-11	Paper
Labeled calculi and finite-valued logics	2001-06-25	Paper
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program	2001-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4525273	2001-01-22	Paper
Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic	2000-08-15	Paper
Note on generalizing theorems in algebraically closed fields	1998-10-13	Paper
Completeness of a first-order temporal logic with time-gaps	1997-02-27	Paper
Generalizing theorems in real closed fields	1996-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4840168	1995-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4283227	1994-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4282535	1994-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q3142560	1994-01-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard Zach