Folgen
Richard Zach
Titel
Zitiert von
Zitiert von
Jahr
Hilbert’s program
R Zach
Stanford Encyclopedia of Philosophy, 2003
2382003
Hilbert's program then and now
R Zach
Philosophy of logic, 411-447, 2007
1402007
Completeness before Post: Bernays, Hilbert, and the development of propositional logic
R Zach
Bulletin of Symbolic Logic 5, 331-366, 1999
1171999
Proof theory of finite-valued logics
R Zach
Technische Universität Wien, 1993
971993
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
912009
First-order Gödel logics
M Baaz, N Preining, R Zach
Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007
812007
The epsilon calculus
J Avigad, R Zach
Stanford Encyclopedia of Philosophy, 2002
792002
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
781994
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program
R Zach
Synthese 137 (1), 211-259, 2003
762003
Hypersequents and the proof theory of intuitionistic fuzzy logic
M Baaz, R Zach
International Workshop on Computer Science Logic, 187-201, 2000
75*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
74*1993
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61, 7-33, 1998
711998
Vagueness, logic and use: Four experimental studies on vagueness
P Serchuk, I Hargreaves, R Zach
Mind & Language 26 (5), 540-573, 2011
632011
Compact propositional Gödel logics
M Baaz, R Zach
Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International …, 1998
521998
The epsilon calculus and Herbrand complexity
G Moser, R Zach
Studia Logica 82 (1), 133-155, 2006
422006
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
421996
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
411993
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
371996
Hilbert's finitism: Historical, philosophical, and metamathematical perspectives
R Zach
University of California, Berkeley, 2001
36*2001
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
311996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20