Department Affiliates
Department Activity
Also at University of Calgary
-
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.
-
-
-
-
-