Department Affiliates
Department Activity
Also at University of Calgary
-
Richard Zach, Hilbert's program then and nowIn Dale Jacquette (ed.), Philosophy of Logic, North Holland. 2002.
-
Richard Zach, Computability. Computable functions, logic, and the foundations of mathematics (review)History and Philosophy of Logic 23 (1): 67-69. 2002.
-
-
-
Richard Zach, Hilbert’s Finitism: Historical, Philosophical, and Metamathematical PerspectivesDissertation, University of California, Berkeley. 2001.
-
Nicole Wyatt, Ralph H. Johnson, Manifest Rationality: A Pragmatic Theory of Argument (review)Philosophy in Review 21 (3): 185-187. 2001.
-
Nicole Wyatt, The Philosophical Computer: Exploratory Essays in Philosophical Computer Modeling (review)Philosophy and Phenomenological Research 63 (2): 489-491. 2001.
-
Matthias Baaz, Agata Ciabattoni, and Richard Zach, Quantified Propositional Gödel LogicsIn Voronkov Andrei & Parigot Michel (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000, Springer. pp. 240-256. 2000.
-
Matthias Baaz and Richard Zach, Hypersequents and the proof theory of intuitionistic fuzzy logicIn G. Clote Peter & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000, Springer. 2000.
-
Nicole Wyatt, Did duns scotus invent possible worlds semantics?Australasian Journal of Philosophy 78 (2). 2000.
-
Richard Zach, Completeness before Post: Bernays, Hilbert, and the development of propositional logicBulletin of Symbolic Logic 5 (3): 331-366. 1999.
-
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, and Richard Zach, Labeled calculi and finite-valued logicsStudia Logica 61 (1): 7-33. 1998.
-
Matthias Baaz and Richard Zach, Note on generalizing theorems in algebraically closed fieldsArchive for Mathematical Logic 37 (5-6): 297-307. 1998.
-
Matthias Baaz and Richard Zach, Compact propositional Gödel logicsIn Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings, Ieee Press. pp. 108-113. 1998.
-
Richard Zach, Numbers and functions in Hilbert's finitismTaiwanese Journal for History and Philosophy of Science 10 33-60. 1998.
-
Herta Nagl and Lorraine Markotic, Seyla Benhabib and the radical future of the enlightenment. TranslationPhilosophy and Social Criticism 23 (5): 63-78. 1997.
-
Matthias Baaz, Alexander Leitsch, and Richard Zach, Completeness of a first-order temporal logic with time-gapsTheoretical Computer Science 160 (1-2): 241-270. 1996.
-
Matthias Baaz, Alexander Leitsch, and Richard Zach, Incompleteness of a first-order Gödel logic and some temporal logics of programsIn Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers, Springer. pp. 1-15. 1996.
-
Matthias Baaz and Richard Zach, Generalizing theorems in real closed fieldsAnnals of Pure and Applied Logic 75 (1-2): 3-23. 1995.
-
Petr Hajek and Richard Zach, Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991 (review)Journal of Applied Non-Classical Logics 4 (2): 215-220. 1994.
-
Matthias Baaz and Richard Zach, Short Proofs of Tautologies using the Schema of EquivalenceIn Egon Börger, Yuri Gurevich & Karl Meinke (eds.), Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers, Springer. pp. 33-35. 1994.
-
Matthias Baaz and Richard Zach, Approximating Propositional Calculi by Finite-valued LogicsIn Baaz Matthias & Zach Richard (eds.), 24th International Symposium on Multiple-valued Logic, 1994. Proceedings, Ieee Press. 1994.
-
Matthias Baaz, Christian G. Fermüller, and Richard Zach, Systematic construction of natural deduction systems for many-valued logicsIn Unknown (ed.), Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993, Ieee Press. pp. 208-213. 1993.
-
Matthias Baaz, Christian G. Fermüller, and Richard Zach, Dual Systems of Sequents and Tableaux for Many-Valued LogicsBulletin of the EATCS 51 192-197. 1993.
-
Matthias Baaz, Christian G. Fermüller, and Richard Zach, Elimination of Cuts in First-order Finite-valued LogicsJournal of Information Processing and Cybernetics EIK 29 (6): 333-355. 1993.
-
Matthias Baaz and Richard Zach, Algorithmic Structuring of Cut-free ProofsIn Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini & Michael M. Richter (eds.), Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers, Springer. 1993.
-
-
-
-