Seguir
Richard Zach
Título
Citado por
Citado por
Año
Hilbert’s program
R Zach
Stanford Encyclopedia of Philosophy, 2003
2612003
Hilbert's program then and now
R Zach
Philosophy of logic, 411-447, 2007
1532007
Completeness before Post: Bernays, Hilbert, and the development of propositional logic
R Zach
Bulletin of Symbolic Logic 5, 331-366, 1999
1221999
Proof theory of finite-valued logics
R Zach
Technische Universität Wien, 1993
1141993
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
982009
First-order Gödel logics
M Baaz, N Preining, R Zach
Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007
902007
The epsilon calculus
J Avigad, R Zach
Stanford Encyclopedia of Philosophy, 2002
872002
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
821994
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program
R Zach
Synthese 137 (1), 211-259, 2003
802003
Hypersequents and the proof theory of intuitionistic fuzzy logic
M Baaz, R Zach
International Workshop on Computer Science Logic, 187-201, 2000
78*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
75*1993
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61, 7-33, 1998
731998
Vagueness, logic and use: Four experimental studies on vagueness
P Serchuk, I Hargreaves, R Zach
Mind & Language 26 (5), 540-573, 2011
672011
Compact propositional Gödel logics
M Baaz, R Zach
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International …, 1998
551998
The epsilon calculus and Herbrand complexity
G Moser, R Zach
Studia Logica 82 (1), 133-155, 2006
442006
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
441993
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
411996
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
391996
Hilbert's finitism: Historical, philosophical, and metamathematical perspectives
R Zach
University of California, Berkeley, 2001
372001
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
341996
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20