Baaz, M., Leitsch, A., & Lolic, A. (2021). An abstract form of the first epsilon theorem. Journal of Logic and Computation, 30(8), 1447–1468. https://doi.org/10.1093/logcom/exaa044 ( reposiTUm)

Baaz, M., & Lolic, A. (2021). Towards a proof theory for Henkin quantifiers. Journal of Logic and Computation, 31(1), 40–66. https://doi.org/10.1093/logcom/exaa071 ( reposiTUm)

Baaz, M., & Lolic, A. (2020). First-order interpolation derived from propositional interpolation. Theoretical Computer Science, 837, 209–222. https://doi.org/10.1016/j.tcs.2020.07.043 ( reposiTUm)

Aguilera Ozuna, J. P., & Baaz, M. (2019). Unsound Inferences Make Proofs Shorter. Journal of Symbolic Logic, 84(1), 102–122. https://doi.org/10.1017/jsl.2018.51 ( reposiTUm)

Baaz, M., & Preining, N. (2018). On the Classification of First Order Gödel Logics. Annals of Pure and Applied Logic, 170(1), 36–57. https://doi.org/10.1016/j.apal.2018.08.010 ( reposiTUm)

Aguilera Ozuna, J. P., & Baaz, M. (2017). Ten problems in Gödel logic. Soft Computing. https://doi.org/10.1007/s00500-016-2366-9 ( reposiTUm)

Baaz, M., Ciabattoni, A., Gabbay, D. M., Hetzl, S., & Weller, D. (2017). Preface. Journal of Logic and Computation, 27(2), 415–415. https://doi.org/10.1093/logcom/exu076 ( reposiTUm)

Baaz, M., & Preining, N. (2017). Gödel logics and the fully boxed fragment of LTL. EPiC Series in Computing. https://doi.org/10.29007/bdbm ( reposiTUm)

Baaz, M., & Iemhoff, R. (2016). Skolemization in intermediate logics with the finite model property. Logic Journal of the IGPL, 24(3), 224–237. https://doi.org/10.1093/jigpal/jzw010 ( reposiTUm)

Baaz, M., & Ciabattoni, A. (2016). Proof theory of witnessed Gödel logic: A negative result. Journal of Logic and Computation, 26(1), 51–64. https://doi.org/10.1093/logcom/ext018 ( reposiTUm)

Fasching, O., & Baaz, M. (2014). Monotone operators on Gödel logic. Archive for Mathematical Logic, 53(3–4), 261–284. https://doi.org/10.1007/s00153-013-0365-4 ( reposiTUm)

Baaz, M., & Leitsch, A. (2014). Cut-Elimination: Syntax and Semantics. Studia Logica, 102(6), 1217–1244. https://doi.org/10.1007/s11225-014-9563-2 ( reposiTUm)

Baaz, M., & Fasching, O. (2013). Gödel logics with an operator shifting truth values. EPIC, HTTP://WWW.EASYCHAIR.ORG/PUBLICATIONS/?PAGE=1892702142(13), 2. http://hdl.handle.net/20.500.12708/155610 ( reposiTUm)

Baaz, M., Lahav, O., & Zamansky, A. (2013). Finite-valued Semantics for Canonical Labelled Calculi. Journal of Automated Reasoning, 51(4), 401–430. https://doi.org/10.1007/s10817-013-9273-x ( reposiTUm)

Baaz, M., Ciabattoni, A., & Fermüller, C. (2012). Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability. Logical Methods in Computer Science, 8(1). https://doi.org/10.2168/lmcs-8(1:20)2012 ( reposiTUm)

Baaz, M., & Fasching, O. (2012). Gödel logics with monotone operators. Fuzzy Sets and Systems, 197, 3–13. https://doi.org/10.1016/j.fss.2011.04.012 ( reposiTUm)

Baaz, M., Hetzl, S., & Weller, D. (2012). On the complexity of proof deskolemization. Journal of Symbolic Logic, 77(2), 669–686. https://doi.org/10.2178/jsl/1333566645 ( reposiTUm)

Baaz, M., Ciabattoni, A., & Preining, N. (2011). First-order satisfiability in Gödel logics: an NP-complete fragment. Theoretical Computer Science, 412(47), 6612–6623. https://doi.org/10.1016/j.tcs.2011.07.015 ( reposiTUm)

Baaz, M., & Iemhoff, R. (2011). Eskolemization in intuitionistic logic. Journal of Logic and Computation, 21(4), 625–638. https://doi.org/10.1093/logcom/exp040 ( reposiTUm)

Baaz, M., & Hetzl, S. (2011). On the non-confluence of cut-elimination. Journal of Symbolic Logic, 76(1), 313–340. https://doi.org/10.2178/jsl/1294171002 ( reposiTUm)

Baaz, M., & Metcalfe, G. (2010). Herbrand’s theorem, skolemization and proof systems for first-order Lukasiewicz logic. Journal of Logic and Computation, 20(1), 35–54. https://doi.org/10.1093/logcom/exn059 ( reposiTUm)

Baaz, M., & Metcalfe, G. (2009). Fuzzy logic corner. Journal of Logic and Computation, 19(2), 343–343. https://doi.org/10.1093/logcom/exn053 ( reposiTUm)

Baaz, M., & Fasching, O. (2009). Note on witnessed Gödel logics with Delta. Annals of Pure and Applied Logic, 161(2), 121–127. https://doi.org/10.1016/j.apal.2009.05.011 ( reposiTUm)

Baaz, M. (2009). Foreword: Kurt Gödel Centenary Research Prize Fellowships. Annals of Pure and Applied Logic, 157(2–3), 63. http://hdl.handle.net/20.500.12708/166648 ( reposiTUm)

Baaz, M., & Metcalfe, G. (2008). Herbrand theorems and skolemization for prenex fuzzy logics. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-69407-6 ( reposiTUm)

Baaz, M., & Wojtylak, P. (2008). Generalizing proofs in monadic languages. Annals of Pure and Applied Logic, 154(2), 71–138. https://doi.org/10.1016/j.apal.2007.10.010 ( reposiTUm)

Baaz, M., Hetzl, S., Leitsch, A., Richter, C., & Spohr, H. (2008). CERES: An analysis of Fürstenberg’s proof of the infinity of primes. Theoretical Computer Science, 403(2–3), 160–175. https://doi.org/10.1016/j.tcs.2008.02.043 ( reposiTUm)

Baaz, M., & Preining, N. (2008). Quantifier elimination for quantified propositional logics on Kripke frames of type omega. Journal of Logic and Computation, 18(4), 649–668. https://doi.org/10.1093/logcom/exn004 ( reposiTUm)

Baaz, M., & Zach, R. (2008). Effective finite-valued approximations of general propositional logics. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-78127-1 ( reposiTUm)

Baaz, M., & Metcalfe, G. (2007). Proof Theory for First Order Łukasiewicz Logic. Lecture Notes in Computer Science, 28–42. https://doi.org/10.1007/978-3-540-73099-6_5 ( reposiTUm)

Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic fragments of Gödel logics: decidability and undecidability. Lecture Notes in Computer Science, 4790, 77–91. http://hdl.handle.net/20.500.12708/168724 ( reposiTUm)

Baaz, M. (2007). Note on conditional constructivity. Lecture Notes in Computer Science, 4460, 25–29. http://hdl.handle.net/20.500.12708/168722 ( reposiTUm)

Baaz, M., Preining, N., & Zach, R. (2007). First Order Gödel logics. Annals of Pure and Applied Logic, 147(1–2), 23–47. https://doi.org/10.1016/j.apal.2007.03.001 ( reposiTUm)

Baaz, M., & Iemhoff, R. (2006). Konstruktivismus und Intuitionismus. Internationale Mathematische Nachrichten, 201, 13–23. http://hdl.handle.net/20.500.12708/172060 ( reposiTUm)

Baaz, M., & Iemhoff, R. (2006). The Skolemization of existential quantifiers in intuitionistic logic. Annals of Pure and Applied Logic, 142, 269–295. http://hdl.handle.net/20.500.12708/172061 ( reposiTUm)

Baaz, M., & Iemhoff, R. (2006). Gentzen calculi for the existence predicate. Studia Logica, 82, 7–23. http://hdl.handle.net/20.500.12708/172063 ( reposiTUm)

Baaz, M., & Moser, G. (2006). Herbrand’s theorem term induction. Archive for Mathematical Logic, 45(4), 447–503. http://hdl.handle.net/20.500.12708/172130 ( reposiTUm)

Baaz, M., Hetzl, S., Leitsch, A., Richter, C., & Spohr, H. (2006). Proof transformation by CERES. Lecture Notes in Computer Science, 82–93. https://doi.org/10.1007/11812289_8 ( reposiTUm)

Baaz, M., & Leitsch, A. (2006). Towards a clausal analysis of cut-elimination. Journal of Symbolic Computation, 41, 381–410. http://hdl.handle.net/20.500.12708/172032 ( reposiTUm)

Baaz, M. (2005). Controlling witnesses. Annals of Pure and Applied Logic, 136, 22–29. http://hdl.handle.net/20.500.12708/171964 ( reposiTUm)

Baaz, M., & Lolic, A. (2024). On Translations of Epsilon Proofs to LK. In Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 232–245). https://doi.org/10.29007/9pts ( reposiTUm)

Baaz, M., & Lolic, A. (2020). A Globally Sound Analytic Calculus for Henkin Quantifiers. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science. International Symposium, LFCS 2020 (pp. 128–143). Springer International Publishing. https://doi.org/10.1007/978-3-030-36755-8_9 ( reposiTUm)

Baaz, M., & Lolic, A. (2019). Note on Globally Sound Analytic Calculi for Quantifier Macros. In R. Iemhoff, M. Moortgat, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information, and Computation  26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings (pp. 486–497). Springer. https://doi.org/10.1007/978-3-662-59533-6_29 ( reposiTUm)

Baaz, M., & Preining, N. (2018). First Order Gödel Logics with propositional quantifiers. In Proceedings LATD 2018 (pp. 13–16). Eigenverlag Universität Bern. http://hdl.handle.net/20.500.12708/41656 ( reposiTUm)

Lolic, A., & Baaz, M. (2018). Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. In EPiC Series in Computing. LPAR-22: 22nd. International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Ethiopia. EasyChair Publications. http://hdl.handle.net/20.500.12708/41606 ( reposiTUm)

Leitsch, A., Baaz, M., & Lolic, A. (2018). A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. In Logical Foundations of Computer Science (pp. 55–71). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-72056-2_4 ( reposiTUm)

Baaz, M., & Lolic, A. (2017). First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. In Frontiers of Combining Systems (pp. 265–280). Springer. https://doi.org/10.1007/978-3-319-66167-4_15 ( reposiTUm)

Baaz, M., & Aguilera Ozuna, J. P. (2016). Cut Elimination for Gödel Logic with an Operator Adding a Constant. In Logic, Language, Information, and Computation (pp. 36–51). WoLLIC 2016. Lecture Notes in Computer Science, vol 9803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-52921-8_3 ( reposiTUm)

Baaz, M., & Fermüller, C. (2015). Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. In S. Kreutzer (Ed.), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (pp. 94–109). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2015.94 ( reposiTUm)

Leitsch, A., Baaz, M., & Reis, G. (2015). A Note on the Complexity of Classical and Intuitionistic Proofs. In Logic in Computer Science (LICS) (pp. 657–666). http://hdl.handle.net/20.500.12708/56144 ( reposiTUm)

Baaz, M., Lahav, O., & Zamansky, A. (2012). Effective finite-valued semantic for labelled calculi. In Automated Reasoning (LNCS 2012, Vol. 7364) (pp. 52–66). Springer Verlag. http://hdl.handle.net/20.500.12708/41139 ( reposiTUm)

Baaz, M., & Fermüller, C. (2010). A resolution mechanism for Prenex Gödel logic. In A. Dawar & H. Veith (Eds.), Computer Science Logic (LNCS 6247/2010) (pp. 67–79). Springer. http://hdl.handle.net/20.500.12708/40997 ( reposiTUm)

Baaz, M., Ciabattoni, A., & Preining, N. (2009). SAT in monadic Gödel logics: a borderline between decidability and undecidability. In Logic, Language, Information and Computation. Springer Verlag. https://doi.org/10.1007/978-3-642-02261-6_10 ( reposiTUm)

Baaz, M., Ciabattoni, A., & Fermüller, C. (2008). Cut elimination for first order Gödel logic by hyperclause resolution. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330) (pp. 451–466). Springer. http://hdl.handle.net/20.500.12708/40803 ( reposiTUm)

Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. In N. Dershowitz & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 4790) (pp. 77–91). Springer. https://doi.org/10.1007/978-3-540-75560-9_8 ( reposiTUm)

Baaz, M., Hetzl, S., Leitsch, A., Richter, C., & Spohr, H. (2006). Proof Transformation by CERES. In J. M. Borwein & W. Farmer (Eds.), MKM 2006 (pp. 82–93). Springer. http://hdl.handle.net/20.500.12708/51679 ( reposiTUm)

Baaz, M., Hetzl, S., Leitsch, A., Richter, C., & Spohr, H. (2006). System Description: The Cut-Elimination System CERES. In G. Sutcliffe, R. Schmidt, & S. Schulz (Eds.), ESCoR 2006 Empirically Successful Computerized Reasoning (p. 9). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/176627 ( reposiTUm)

Baaz, M., Preining, N., & Zach, R. (2006). Completeness of a hypersequent calculus for some first-order Gödel logics with delta. In Proceedings of the 36th International Symposium on Multiple-Valued Logic (ISMVL 06). IEEE Computer Society. http://hdl.handle.net/20.500.12708/40654 ( reposiTUm)

Baaz, M., Hetzl, S., Leitsch, A., Richter, C., & Spohr, H. (2005). Cut-Elimination: Experiments with CERES. In LOgic for Programming, Artificial Intelligence, and Reasoning (pp. 481–495). Springer, LNAI. http://hdl.handle.net/20.500.12708/51011 ( reposiTUm)

Leitsch, A., & Baaz, M. (2005). CERES in Many-Valued Logics. In Logic for Programming, Artificial Intelligence, and Reasoning (pp. 1–20). Springer, LNAI. http://hdl.handle.net/20.500.12708/51010 ( reposiTUm)

Baaz, M. (2005). Herbrand’s theorem and the Skolemization of Prenex fragments. In Book of Abstracts (p. 9). http://hdl.handle.net/20.500.12708/40592 ( reposiTUm)

Baaz, M. (2005). Note on formal analogical reasoning in the juridical context. In L. Ong (Ed.), Computer Science Logic (pp. 18–26). Springer. http://hdl.handle.net/20.500.12708/40589 ( reposiTUm)

Baaz, M., & Leitsch, A. (2005). CERES in many-valued logics. In F. Baader & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 3452) (pp. 1–20). Springer. http://hdl.handle.net/20.500.12708/40591 ( reposiTUm)

Baaz, M. (2005). On interpolation in existence logics. In G. Sutcliffe & A. Voronkov (Eds.), Logic for Programming, Aritificial Intelligence, and Reasoning (LNAI 3835) (pp. 697–711). Springer. http://hdl.handle.net/20.500.12708/40590 ( reposiTUm)

Baaz, M., & Leitsch, A. (2010). Fast cut-elimination by CERES. In S. Feferman & W. Sieg (Eds.), Proofs, Categories and Computations, Essays in Honor of Grigori Mints (pp. 31–48). College Publications (Kings College). http://hdl.handle.net/20.500.12708/27039 ( reposiTUm)

Leitsch, A., & Baaz, M. (2010). Fast Cut-Elimination by CERES. In S. Feferman & W. Sieg (Eds.), Proofs, Categories and Computations (pp. 31–49). College Publications. http://hdl.handle.net/20.500.12708/27080 ( reposiTUm)

Baaz, M. (2009). Recollections of a non-contradictory logician. In P. Cintula, Z. Haniková, & V. Svejdar (Eds.), Witnessed Years, Essays in Honour of Petr Hájek (pp. 57–60). College Publications (Kings College). http://hdl.handle.net/20.500.12708/27040 ( reposiTUm)

Baaz, M., & Iemhoff, R. (2005). On the proof theory of the existence predicate. In We will show them! Essays in honour of Dov Gabbay (pp. 125–165). Kings College Publications. http://hdl.handle.net/20.500.12708/25093 ( reposiTUm)

Kurt Gödel and the foundations of mathematics: Horizon of truth. (2011). In M. Baaz, C. H. Papadimitriou, H. W. Putnam, D. S. Scott, & C. L. Harper Jr. (Eds.), Philosophia Mathematica (p. 130). Cambridge University Press. https://doi.org/10.1093/philmat/nkr028 ( reposiTUm)

Baaz, M., & Leitsch, A. (2011). Methods of Cut-Elimination. Springer Verlag. https://doi.org/10.1007/978-94-007-0320-9 ( reposiTUm)

Baaz, M. (2023, November 13). Andrew’s Skolemization my shorten proofs non-elementarily [Conference Presentation]. Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany. ( reposiTUm)

Baaz, M. (2022, September 22). Epsilon Calculus [Conference Presentation]. Sixteenth International Tbilisi Summer School in Logic and Language, Tiflis, Georgia. ( reposiTUm)

Baaz, M., Fermüller, C., & Preining, N. (2022, September). Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta [Conference Presentation]. Logic Algebra and Truth Degrees Conference LATD 2022, Paestum, Salerno, Italy. https://doi.org/10.34726/3641 ( reposiTUm)

Baaz, M., & Lolic, A. (2022, November). First-Order Interpolation Derived from Propositional Interpolation [Conference Presentation]. 4th International Workshop on Proof Theory, Utrecht University, Netherlands (the). ( reposiTUm)

Baaz, M., Fermüller, C., & Preining, N. (2022, September). Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta [Conference Presentation]. Logic Algebra and Truth Degrees Conference LATD 2022, Paestum, Salerno, Italy. ( reposiTUm)

Baaz, M. (2022, August). The proof-theoretic  analysis of incorrect proofs [Conference Presentation]. International Conference on Applied Proof Theory, Pescara, Italy. http://hdl.handle.net/20.500.12708/174873 ( reposiTUm)

Baaz, M. (2022, September). Gödel logics - the dominance of order [Conference Presentation]. ICTAC Summer School, Tiflis, Georgia. ( reposiTUm)

Baaz, M. (2022, August 1). Teaching Logic [Conference Presentation]. Logteach 22: Why and how to teach logic for CS undergraduates, Haifa, Israel. ( reposiTUm)

Baaz, M. (2021). Analytic calculi for quantifier macros. Logic and Applications (LAP 2021) - Formal Reasoning and Semantics (FORMALS 2021), Dubrovnik and online, Croatia. http://hdl.handle.net/20.500.12708/123286 ( reposiTUm)

Baaz, M. (2021). On the benefit of unsound rules. St. Petersburg Days of Logic and Computability V, Petersburg, Russian Federation (the). http://hdl.handle.net/20.500.12708/123249 ( reposiTUm)

Baaz, M. (2021). Incompleteness and attempted proofs of consistency. International Workshop on Gödel´s Incompleteness Theorems, Wuhan, China. http://hdl.handle.net/20.500.12708/123276 ( reposiTUm)

Baaz, M. (2021). Kurt Gödel and Alfred Tarski: The Extremes of Logic. Kurt Gödel Day 2021, Brünn, Czechia. http://hdl.handle.net/20.500.12708/123270 ( reposiTUm)

Baaz, M. (2020). Wittgenstein’s Traktat from the Perspective of a Contemporary Logician. Vortrag auf Einladung des iranischen Aussenministeriums, online, Unknown. http://hdl.handle.net/20.500.12708/123235 ( reposiTUm)

Baaz, M. (2020). Cut Elimination as Error Correcting Device. Proof Theory Virtual Seminar, Online, Unknown. http://hdl.handle.net/20.500.12708/123234 ( reposiTUm)

Baaz, M. (2020). Mathematical Logic: Proof Theory, Constructive Mathematics. Logik Workshop, Mathematisches Forschungsinstitut Oberwolfach, Austria. http://hdl.handle.net/20.500.12708/123233 ( reposiTUm)

Baaz, M. (2020). Gödel logics - Enduring Consequences of a Short Paper. Tribute to Kurt Gödel 2020, Brünn, Czechia. http://hdl.handle.net/20.500.12708/123232 ( reposiTUm)

Baaz, M. (2018). The Logical Structure of Legal Reasoning. Deontic Reasoning: From Ancient Texts to Artificial Intelligence, Wien, Austria. http://hdl.handle.net/20.500.12708/122646 ( reposiTUm)

Baaz, M. (2018). Cut-elimination for Intuitionistic Logic. Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien, Austria. http://hdl.handle.net/20.500.12708/122707 ( reposiTUm)

Baaz, M. (2018). Logical Aspects of Legal Reasoning. Deontic Reasoning: From Ancient Texts to Artificial Intelligence, Wien, Austria. http://hdl.handle.net/20.500.12708/122708 ( reposiTUm)

Baaz, M. (2018). Wahrheit und Beweis. TUforMath, Wien, Austria. http://hdl.handle.net/20.500.12708/122699 ( reposiTUm)

Baaz, M. (2018). Unsound Inferences Make Proofs Shorter. Université Nice Sophia Antipolis, Nizza, France. http://hdl.handle.net/20.500.12708/122710 ( reposiTUm)

Baaz, M. (2018). The Concept of Proof. Computational Approaches to the Foundations of Mathematics, München, Germany. http://hdl.handle.net/20.500.12708/122694 ( reposiTUm)

Baaz, M. (2018). The concept of proof. Logical Perspectives, Russian Academy of Sciences, St. Petersburg, Russian Federation (the). http://hdl.handle.net/20.500.12708/122630 ( reposiTUm)

Baaz, M. (2018). The concept of proof. JAIST Logic Seminar Series, Kanazawa, Japan. http://hdl.handle.net/20.500.12708/122693 ( reposiTUm)

Baaz, M. (2017). LKepsilon and the immediate reduction of arbitrary cuts to universal cuts. Helmut Veith Memorial Workshop, Obergurgl, Austria. http://hdl.handle.net/20.500.12708/122310 ( reposiTUm)

Baaz, M. (2017). Short Herbrand Disjunctions Generated by Unusual Forms of Cut-Elimination. Collegium Logicum Proof Theory: Herbrand’s Theorem Revisited, Wien, Austria. http://hdl.handle.net/20.500.12708/122284 ( reposiTUm)

Baaz, M. (2017). Gödel Logics and the fully boxed fragment of LTL. Second FISP meeting, Paris, France. http://hdl.handle.net/20.500.12708/122302 ( reposiTUm)

Baaz, M. (2017). On the benefit of unsound rules. Humboldt Kolleg Proof Theory Mathesis Universalis, Como, Italy. http://hdl.handle.net/20.500.12708/122295 ( reposiTUm)

Lolic, A., & Baaz, M. (2017). First-order interpolation from propositional interpolation: a proof theoretic approach on a semantic basis. Topology, Algebra and Categories in Logic 2017, Prag, Czechia. http://hdl.handle.net/20.500.12708/122297 ( reposiTUm)

Baaz, M. (2017). Epsilon Calculus II. International Summer School for Proof Theory in First-Order-Logic, Funchal, Portugal. http://hdl.handle.net/20.500.12708/122304 ( reposiTUm)

Baaz, M., & Preining, N. (2017). Gödel Logics and the Fully Boxed Fragment of LTL. LPAR-21: 21st. International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, South Africa. http://hdl.handle.net/20.500.12708/121850 ( reposiTUm)

Baaz, M. (2017). On the benefit of unsound rules. ISRALOG 17, Haifa, Israel. http://hdl.handle.net/20.500.12708/122303 ( reposiTUm)

Baaz, M., & Aguilera Ozuna, J. P. (2017). Unsound Inferences make proofs shorter. CS Theory Seminar, Calgary, Canada. http://hdl.handle.net/20.500.12708/122309 ( reposiTUm)

Baaz, M. (2017). Gödel Logics: proof theory and semantics. Thirteenth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia. http://hdl.handle.net/20.500.12708/122308 ( reposiTUm)

Baaz, M., & Preining, N. (2017). On the Classification of First Order Gödel Logics. The 9th. International Workshop on Logic and Cognition, Non-classical Modal and Predicate Logics, Guangzhou, China. http://hdl.handle.net/20.500.12708/122314 ( reposiTUm)

Baaz, M. (2017). First-Order Interpolation and Interpolating Proofs Systems. LPAR-21: 21st. International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, South Africa. http://hdl.handle.net/20.500.12708/122312 ( reposiTUm)

Baaz, M. (2017). Epsilon calculus and intermediate logics. Discussion forum at the TSU A. Razmadze Mathematical Institute, Tbilisi, Georgia. http://hdl.handle.net/20.500.12708/122313 ( reposiTUm)

Baaz, M. (2017). On the benefit of unsound rules. Mathematical Logic, WS der Universität Pretoria, Johannesburg, South Africa. http://hdl.handle.net/20.500.12708/122315 ( reposiTUm)

Baaz, M. (2017). Intermediäre Logik. Workshop der Tbilisi State University, Tiflis, Georgia. http://hdl.handle.net/20.500.12708/122316 ( reposiTUm)

Baaz, M., & Aguilera Ozuna, J. P. (2016). Unsound Inferences Make Proofs Shorter. Japan Advanced Institute of Science and Technology, Ishikawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/121801 ( reposiTUm)

Baaz, M. (2016). Reflection of universal formulas and Hilbert’s two programs on the Foundation of Mathematics. 3rd International Workshop on Proof Theory, Modal Logic and Reflection Principles, Tbilisi, Georgien, Non-EU. http://hdl.handle.net/20.500.12708/121803 ( reposiTUm)

Baaz, M., & Aguilera Ozuna, J. P. (2016). Unsound rules make proofs easier. Many-valued logic: Algebraic, Geometric and Computational Aspects (MAGICA), Mailand, EU. http://hdl.handle.net/20.500.12708/121735 ( reposiTUm)

Baaz, M. (2016). Towards a Proof Theory of Analogical Reasoning. Logic Seminar in Semester II AY 2015/16, National University of Singapore, School of Computing, Non-EU. http://hdl.handle.net/20.500.12708/121468 ( reposiTUm)

Baaz, M., & Aguilera Ozuna, J. P. (2016). Cut Elimination for Gödel Logic with an Operator Adding a Constant. Logic, Algebra and Truth Degrees, Bern, Non-EU. http://hdl.handle.net/20.500.12708/121479 ( reposiTUm)

Baaz, M. (2016). Extending Gödel logic by an operator adding a constant. Topological Methods in Logic - ToLo V, Tiflis, Georgien, Non-EU. http://hdl.handle.net/20.500.12708/121480 ( reposiTUm)

Baaz, M. (2015). The Power of the Epsilon Calculus. Mathematical Logic and Software Verification Joint Workshop, Kaga, Ishikawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/121440 ( reposiTUm)

Baaz, M. (2015). Ten Problems in Gödel Logics. Coherence and Truth Tagung in memoriam Franco Montagna, Certosa di Pontignano - Siena, Italien, EU. http://hdl.handle.net/20.500.12708/121437 ( reposiTUm)

Baaz, M. (2015). Elemetary cut-elimination for prenex cuts in disjunction free LJ. Workshop on Proof Theory, University Utrecht, Utrecht, Niederlande, EU. http://hdl.handle.net/20.500.12708/121215 ( reposiTUm)

Baaz, M. (2014). Analogy. Riddles and other Paraconsistencies in Deontic Logic, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/120814 ( reposiTUm)

Baaz, M. (2014). Satisfiability/validity:asymetric research. Israeli Workshop on Non-Classical Logics and Their Applications - ISRALOG´14, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/120815 ( reposiTUm)

Baaz, M. (2014). Epsilon Calculus in Non-Classical Logics. Tenth International Tbilisi Summer School in Logic and Language, Tiflis, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/120816 ( reposiTUm)

Baaz, M. (2014). First-order proofs in Gödel logics: hypersequents, Herbrand disjunctions, computational content. Workshop on Proofs as Processes, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/120709 ( reposiTUm)

Baaz, M., Eiter, T., & Veith, H. (2014). Vienna Summer of Logic. Vienna Summer of Logic, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/121057 ( reposiTUm)

Baaz, M., Bou, F., & Preining, N. (2013). Characterization of decidable monadic Gödel logics: validity and satifaiability. Logic Colloquium 2013, Evora, Portugal, EU. http://hdl.handle.net/20.500.12708/120358 ( reposiTUm)

Baaz, M. (2013). Interpolation in finitely-valued first-order logics. LIX Colloquium 2013: Theory and Application of Formal Proofs, Paris, France, EU. http://hdl.handle.net/20.500.12708/120436 ( reposiTUm)

Baaz, M. (2013). Towards a proof theory of analogical reasoning. Ninth International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/120410 ( reposiTUm)

Baaz, M. (2013). Proof theoretic representation of semantic validation. 3rd Workshop on Proof Theory and Rewriting, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/120412 ( reposiTUm)

Ciabattoni, A., & Baaz, M. (2012). Proof theory for non-classical logics: a negative result. Pisa Summer Workshop on Proof Theory, Pisa, Italy, EU. http://hdl.handle.net/20.500.12708/85380 ( reposiTUm)

Baaz, M. (2012). Formal reasoning in theology: Intuitionistic versus classical arguments. Internationales Wirtschaftsforum of the University of Heidelberg "The Science and Religion Dialogue: Past and Future, Heidelberg, Germany, EU. http://hdl.handle.net/20.500.12708/120194 ( reposiTUm)

Baaz, M., Lahav, O., & Zamansky, A. (2012). Effective finite-valued semantic for labelled calculi. IJCAR: The 6th International Joint Conference on Automated Reasoning, Manchester, Great Britain, EU. http://hdl.handle.net/20.500.12708/120170 ( reposiTUm)

Baaz, M. (2012). Satisfiability in Gödel logics. Workshop on Logic and Algebra, TU Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/120075 ( reposiTUm)

Baaz, M., Lahav, O., & Zamansky, A. (2012). Effective finite-valued semantic for labelled calculi. Pisa Summer Workshop on Proof Theory, Pisa, Italy, EU. http://hdl.handle.net/20.500.12708/120084 ( reposiTUm)

Baaz, M. (2012). Mathematik zwischen Traum und Wirklichkeit: der Traum von der Allwissenheit - von Aristoteles bis Gödel. math.space, Wien, Austria. http://hdl.handle.net/20.500.12708/120083 ( reposiTUm)

Baaz, M. (2012). Origins and aims of proof theory. Eighth International Tbilisi Summer School in Logic and Language, Tbilis, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/120086 ( reposiTUm)

Baaz, M. (2012). Sequents of relations and first order logic. Logic: Between Semantics and Proof Theory, A Workshop in Honor of Prof. Arnon Avron’s 60th Birthday, Tel Aviv, Israel, Non-EU. http://hdl.handle.net/20.500.12708/120093 ( reposiTUm)

Baaz, M. (2012). Towards a proof theory of analogical reasoning. Technion - Israel Institute of Technology, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/120094 ( reposiTUm)

Baaz, M. (2012). On the limits of analyticity. Collegium Logicum 2012: Structural Proof Theory, Paris, France, EU. http://hdl.handle.net/20.500.12708/120121 ( reposiTUm)

Baaz, M. (2012). Validity and satisfiability. Asian Workshop on Philosophical Logic, JAIST, Ishikawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/120015 ( reposiTUm)

Baaz, M., & Fasching, O. (2012). An analytic calculus for Gödel logics with an operator that shifts truth values. Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/120072 ( reposiTUm)

Baaz, M., & Ciabattoni, A. (2012). Proof theory for non-classical logics: negative results. Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/120071 ( reposiTUm)

Baaz, M. (2012). Epsilon theorems and non-classical logics. Logical Models of Reasoning and Computation LMRC12, Steklov Mathematical Institute, Moscow, Russia, Non-EU. http://hdl.handle.net/20.500.12708/120005 ( reposiTUm)

Baaz, M. (2011). Resolution based proof procedures for First Order Gödel logics. Collegium Logicum: Proof Theory, Paris, France, EU. http://hdl.handle.net/20.500.12708/119693 ( reposiTUm)

Baaz, M. (2011). Epsilon-calculus for non-classical logics. Workshop on Logic and Computation - from proof theory to software verification -, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/119750 ( reposiTUm)

Baaz, M. (2011). A logical view on the simplicity of proofs. PhilMath Intersem 2011 (Simplicity/Complexity of Proofs), Paris, France, EU. http://hdl.handle.net/20.500.12708/119749 ( reposiTUm)

Baaz, M. (2011). The potential of the epsilon calculus. 20th Conference on Computer Science Logic, “Epsilon Calculus and Constructivity” (CSL 2011), Bergen, Norway, Non-EU. http://hdl.handle.net/20.500.12708/119748 ( reposiTUm)

Baaz, M. (2011). The epsilon-calculus in non-classical logics. Workshop STRUCTURAL, Paris, France, EU. http://hdl.handle.net/20.500.12708/119729 ( reposiTUm)

Baaz, M. (2011). Monadic Gödel Logics. Ordered Groups and Lattices in Algebraic Logic, Tbilisi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/119775 ( reposiTUm)

Baaz, M. (2011). Towards a proof theory of analogical reasoning. 2nd joint conference of Austrian & Mongolian Mathematics, Ulan Bator, Non-EU. http://hdl.handle.net/20.500.12708/119785 ( reposiTUm)

Baaz, M. (2011). Only finitely-valued Gödel logics admit the first epsilon-theorem. 2nd Workshop of the Joint Project “Structural and Computational Proof Theory,” Innsbruck, Austria. http://hdl.handle.net/20.500.12708/119787 ( reposiTUm)

Baaz, M. (2011). Sequents of relation calculus: standard and witnessed first order Gödel logics. Workshop on Non-classical Logics, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/119821 ( reposiTUm)

Baaz, M., Hetzl, S., & Weller, D. (2010). On the complexity of proof deskolemization. Collegium Locicum 2010: Proofs and Structures, Paris, EU. http://hdl.handle.net/20.500.12708/85099 ( reposiTUm)

Baaz, M., & Fasching, O. (2010). The impact of adding a constant. 31st Linz Seminar on Fuzzy Set Theory (Lattice-Valued Logics and its Applications), Linz, Austria, Austria. http://hdl.handle.net/20.500.12708/119730 ( reposiTUm)

Baaz, M. (2010). Gödel logics. Sixth International Tbilisi Summer School in Logic and Language, Tbilisi, Non-EU. http://hdl.handle.net/20.500.12708/119597 ( reposiTUm)

Fasching, O., & Baaz, M. (2010). Gödel logics with an operator that shifts truth values. Logic, Algebra and Truth Degrees 2010 (Second conference of the working group on Mathematical Fuzzy Logic), Prag, Czech Republic, EU. http://hdl.handle.net/20.500.12708/119691 ( reposiTUm)

Baaz, M. (2010). Beauty as a tool and as an aim in logic: the artist Petr Hájek. The Beauty of Logic II (Conference in honour of Petr Hájek´s 70th Birthday), Prag, Czech Republic, EU. http://hdl.handle.net/20.500.12708/119334 ( reposiTUm)

Baaz, M. (2010). The epsilon-calculus in non-classical logics. Collegium Logicum: proofs and structures II, Paris, France, EU. http://hdl.handle.net/20.500.12708/119566 ( reposiTUm)

Baaz, M. (2010). Decidability/undecidability of the monadic fragment of Gödel logics w.r.t validity/satisfiability. Mathematical Foundations of Fuzzy Logic, Brno, Czech Republic, EU. http://hdl.handle.net/20.500.12708/119447 ( reposiTUm)

Baaz, M. (2010). Towards a proof theory of analogical reasoning. First International Conference of the Georgian Mathematical Union, Batumi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/119446 ( reposiTUm)

Baaz, M. (2010). Towards a proof theory of analogical reasoning. Deduktionstreffen 2010, Karlsruhe, Germany, EU. http://hdl.handle.net/20.500.12708/119444 ( reposiTUm)

Baaz, M. (2010). Generalization. Logic Colloquium 2010, Paris, France, EU. http://hdl.handle.net/20.500.12708/119445 ( reposiTUm)

Baaz, M., & Preining, N. (2010). Quantified propositional logics and quantifier eliminiation. Algebra and Substructural Logics- Take Four, Ishikawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/119365 ( reposiTUm)

Baaz, M. (2009). Bedeutung des Gödel’schen Unvollständigkeitssatzes. 17. Symposium Kulturraum-Donau - “Kurt Gödel oder die Unvollständigkeit der Wissenschaft,” Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/119313 ( reposiTUm)

Baaz, M. (2009). Gödel logics: the monadic class. Moscow-Vienna Workshop on Logic and Computation 2009, Wien, Austria. http://hdl.handle.net/20.500.12708/119316 ( reposiTUm)

Baaz, M. (2009). Der Gödel’sche Unvollständigkeitssatz. 17. Symposium Kulturraum-Donau - “Kurt Gödel oder die Unvollständigkeit der Wissenschaft,” Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/119314 ( reposiTUm)

Baaz, M. (2009). Analyticity. Leeds Symposium on Proof Theory and Constructivism, Leeds, UK, EU. http://hdl.handle.net/20.500.12708/119020 ( reposiTUm)

Baaz, M. (2009). Epsilon calculus in classical and nonclassical logics. Fifth International Tbilisi Summer School in Logic and Language, Tiflis, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/119261 ( reposiTUm)

Baaz, M. (2009). Intuitionistic logic and reasoning with vague information. Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/119070 ( reposiTUm)

Baaz, M. (2009). Reasoning in the presence of formal contradictions. Gentzen Centenary, Computer Science Logic 2009, Coimbra, Portugal, EU. http://hdl.handle.net/20.500.12708/119072 ( reposiTUm)

Baaz, M., Ciabattoni, A., & Preining, N. (2009). SAT in monadic Gödel logics: a borderline between decidability and undecidability. 16th Workshop on Logic, Language, Information and Computation, Tokio, Japan, Non-EU. http://hdl.handle.net/20.500.12708/119026 ( reposiTUm)

Baaz, M., & Ciabattoni, A. (2009). On the limits of analiticity. Eighth Tbilisi Symposium on Language, Logic and Computation, Bakuriani, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/119068 ( reposiTUm)

Baaz, M. (2008). Gödel logics with witnessing interpretations. Logic, Algebra and Truth Degrees (First Conference of the working group on Mathematical Fuzzy Logic), Siena, Italy, EU. http://hdl.handle.net/20.500.12708/118706 ( reposiTUm)

Baaz, M. (2008). Towards a proof theory of analogical reasoning. 13th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba, Poland, EU. http://hdl.handle.net/20.500.12708/118566 ( reposiTUm)

Baaz, M. (2008). The S5 analoguous fragment of fuzzy logics. Non-classical Logics: from Foundations to Applications, Pisa, EU. http://hdl.handle.net/20.500.12708/118568 ( reposiTUm)

Baaz, M. (2008). Cut-elimination by resolution and interpolation. Colloquium and Workshop Honouring Wilfried Buchholz, München, Germany, EU. http://hdl.handle.net/20.500.12708/118570 ( reposiTUm)

Baaz, M. (2008). Proof theoretic aspects of cut-elimination by resolution. Logical Models of Reasoning and Computation, Moskau, Russia, Non-EU. http://hdl.handle.net/20.500.12708/118574 ( reposiTUm)

Baaz, M., & Hetzl, S. (2008). Cut-elimination. Third Vienna Tbilisi Summer School in Logic and Language, Tbilisi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/118581 ( reposiTUm)

Baaz, M. (2008). Juridical logic. Fourth International Tbilisi Summer School in Logic and Language, Tibilisi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/118931 ( reposiTUm)

Baaz, M. (2008). Proof theory of Gödel logics. Workshop on Structural Proof Theory - Workshop, Paris, France, EU. http://hdl.handle.net/20.500.12708/118790 ( reposiTUm)

Baaz, M. (2007). Analytic and synthetic aspects of cut-elimination. Conference “Methods of proof theory in mathematics,” Bonn, Germany, EU. http://hdl.handle.net/20.500.12708/118561 ( reposiTUm)

Baaz, M. (2007). Decidability problems of partial proof descriptions. Collegium Logicum 2007, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/118563 ( reposiTUm)

Baaz, M. (2007). Generalization and formal analogy. University of Coimbra, Seminar on Logic and Computation, Coimbra, Portugal, EU. http://hdl.handle.net/20.500.12708/118562 ( reposiTUm)

Baaz, M. (2007). Cut-elimination and epsilon-elimination. Small Paris-Vienna Workshop on “The Realm of Cut Elimination,” Palaiseau, EU. http://hdl.handle.net/20.500.12708/118560 ( reposiTUm)

Baaz, M. (2007). Approximations of Hilbert calculi. Moscow-Vienna Workshop on Logic and Computation 2007, TU Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/118576 ( reposiTUm)

Baaz, M. (2007). On the generalization of calculations. Workshop “Interprétation calculatoire des logiques modales,” Paris, France, EU. http://hdl.handle.net/20.500.12708/118575 ( reposiTUm)

Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic fragments of Gödel logics: decidability and undecability results. 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Erivan, Armenia, Non-EU. http://hdl.handle.net/20.500.12708/118584 ( reposiTUm)

Baaz, M. (2007). Cut Elimination by resolution. 7th International Symposium on Language, Logic and Computation, Tbilisi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/118585 ( reposiTUm)

Baaz, M. (2007). Decidability and undecidability of the extendability of partial proof. 3rd International Workshop an Analytic Proof Systems, Eriwan, Armenia, Non-EU. http://hdl.handle.net/20.500.12708/118582 ( reposiTUm)

Baaz, M. (2007). Towards a proof theory of analogical reasoning. Logic Colloquium 2007, Warschau, Poland, EU. http://hdl.handle.net/20.500.12708/118578 ( reposiTUm)

Baaz, M. (2007). The decidability status of monadic Gödel logics and their fragments. Two and beyond / Barcelona-Vienna Workshop on Truth-Functional Logics, Barcelona, Spain, EU. http://hdl.handle.net/20.500.12708/118583 ( reposiTUm)

Baaz, M. (2006). Fast cut-elimination for intuitionistic logic with disjunction free prenex cuts. 2nd Insternational Workshop on Analytic Proof Systems (im Rahmen von LPAR2006), Phnom Penh, Cambodia, Non-EU. http://hdl.handle.net/20.500.12708/118154 ( reposiTUm)

Baaz, M. (2006). ε calculus and Skolem functions. 2nd Vienna Tbilisi Summer School in Logic and Language, Tbilisi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/118152 ( reposiTUm)

Baaz, M. (2006). Proof theory of Skolem functions. Workshop on Proof Theory and Rewriting, University Center Österreich, Obergurgl, Austria, Austria. http://hdl.handle.net/20.500.12708/118153 ( reposiTUm)

Baaz, M. (2006). On the decidability status of the monadic fragment of Gödel logics. Frontiers in logics for reasoning under vaguenes and uncertainity. Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/118156 ( reposiTUm)

Baaz, M. (2006). Skolemfunktionen - verborgene Beweiselemente. Kolloquium des Fachbereichs Mathematik der TU Darmstadt, Darmstadt, Germany, Austria. http://hdl.handle.net/20.500.12708/118155 ( reposiTUm)

Baaz, M. (2006). Controlling witnesses. Mathematical Institute of the Czech Academy of Sciences, Prague, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/118157 ( reposiTUm)

Baaz, M. (2006). Herbrand’s theorem and Skolem functions. Prague-Vienna Workshop on Proof Theory and Proof Complexity, Mathematical Institute of the Czech Academy of Science, Prague, Czech Republic, EU. http://hdl.handle.net/20.500.12708/118147 ( reposiTUm)

Baaz, M., Fischer, H., Sigmund, K., & Weselka, D. (2006). Eröffnungsansprache des Symposiums "Horizons of Truth Logics, Foundations of Mathematics and the Quest for Understanding the Nature of Knowledge. An International Symposium Celebrating the 100th Birthday of Kurt Gödel, Universität Wien, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/118149 ( reposiTUm)

Baaz, M. (2006). Herbrand’s theorem and Skolem functions. Moscow symposium on Logic, Algebra and Computation, Steklov Mathematical Institute, Moscow, Russia, Non-EU. http://hdl.handle.net/20.500.12708/118148 ( reposiTUm)

Baaz, M. (2006). On the schema of equivalence. Paris-Vienna Workshop on Proof Theory, University Paris 7, Paris, France, EU. http://hdl.handle.net/20.500.12708/118151 ( reposiTUm)

Baaz, M. (2006). Gödel und das Unendliche. Wiener Museumsquartier,  MathSpace, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/118150 ( reposiTUm)

Baaz, M. (2005). The proof theory of analogical reasoning and juridical logic. Computer Science Logic 2005, Oxford, UK, EU. http://hdl.handle.net/20.500.12708/117711 ( reposiTUm)

Baaz, M. (2005). Computational analysis of proof. 17th European Summer School in Logic, Language and Information, Edinburgh, Scotland, EU. http://hdl.handle.net/20.500.12708/117710 ( reposiTUm)

Baaz, M. (2005). Term induction. 10th Conference Application of Logic in Philosophy and Foundations of Mathematics, Szklarska Poreba, Poland, EU. http://hdl.handle.net/20.500.12708/117709 ( reposiTUm)

Baaz, M. (2005). On the logical analysis of proofs based on first-order arguments. Logic Seminar, TU Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/117714 ( reposiTUm)

Baaz, M. (2005). Skolem functions. 6th Inernational Tbilisi Symposium on Language, Logic and Coputation, Batumi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/117712 ( reposiTUm)

Baaz, M. (2005). Proof Theory. 1st Vienna Tbilisi Summer School in Logic and Language, Tbilisi, Georgia, Non-EU. http://hdl.handle.net/20.500.12708/117713 ( reposiTUm)

Baaz, M. (2005). The proof theory of analogical reasoning and juridical logic. Humanities Workshop, Stanford, USA, Non-EU. http://hdl.handle.net/20.500.12708/117715 ( reposiTUm)

Baaz, M. (2005). The beauty of axiom systems. The beauty of Logic, Internationale Konferenz zum 60.Geburtstag von Prof. Petr Hajek, Prag, Czech Republic, EU. http://hdl.handle.net/20.500.12708/117707 ( reposiTUm)

Baaz, M. (2005). Herbrand’s theorem and the Skolemization of Prenex fragments. LPAR 2004 Workshop on Analytic Proof Systems, Montevideo, Uruguay, Non-EU. http://hdl.handle.net/20.500.12708/117708 ( reposiTUm)

Baaz, M. (2005). Herbrand’s theorem and Skolem functions. 2nd Paris-Vienna Workshop on Proof Theory, Paris, France, EU. http://hdl.handle.net/20.500.12708/117717 ( reposiTUm)

Baaz, M. (2005). On interpolation in existence logics. 12th International Conference on Logic for Programming ,Artificial Intellegence and Reasoning (LPAR), Montego Bay, Jamaica, EU. http://hdl.handle.net/20.500.12708/117718 ( reposiTUm)

Baaz, M. (2005). Proof theory of analogical reasoning an juridical logic. Second Florence - Vienna Workshop on Logic and Computation, Florenz, Italy, EU. http://hdl.handle.net/20.500.12708/117716 ( reposiTUm)

Baaz, M., Hetzl, S., Leitsch, A., Richter, C., & Spohr, H. (2005). Cut-Elimination: Experiments with CERES. Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy, Austria. http://hdl.handle.net/20.500.12708/84468 ( reposiTUm)

Baaz, M. (2004). Skolem functions: the hidden quantifier complexity of proofs. Vienna-Paris Wokshop on Proofs and Complexity, Paris, Frankreich, Austria. http://hdl.handle.net/20.500.12708/117363 ( reposiTUm)

Baaz, M. (2004). General introduction to logic and law. 6th DeMorgan Workshop “Logic and Law,” London, UK, Austria. http://hdl.handle.net/20.500.12708/117358 ( reposiTUm)

Baaz, M. (2004). Quantified propositional intuitionistic logic with linear Kripke frames. 1st Florence-Vienna Workshop on Logic and Computation, Florence, Italy, Austria. http://hdl.handle.net/20.500.12708/117367 ( reposiTUm)

Baaz, M. (2004). Propositional quantifiers on Kripke frames. 3rd International Moscow-Vienna worksop on Logic and Computation, Moskau, Russland, Austria. http://hdl.handle.net/20.500.12708/117370 ( reposiTUm)

Baaz, M. (2003). On the characterization of the classical content of constructive theories. Workshop on Proof Theory 2003, Münster, Germany, Austria. http://hdl.handle.net/20.500.12708/116632 ( reposiTUm)

Baaz, M. (2003). Interpolation for first-order Goedel logics in [0,1]. Logic of Soft Computing 2003, Siena, Italy, Austria. http://hdl.handle.net/20.500.12708/116633 ( reposiTUm)

Baaz, M. (2003). A translation characterizing the constructive content of classical theories. 10th International Conference LPAR 2003, Almaty, Kazakhstan, Austria. http://hdl.handle.net/20.500.12708/116568 ( reposiTUm)

Baaz, M. (2003). Gödel logics. 5th International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia, Austria. http://hdl.handle.net/20.500.12708/116627 ( reposiTUm)

Baaz, M. (2003). Proof analysis by resolution. Workshop Proof Theory and Algorithms, Edinburgh, UK, Austria. http://hdl.handle.net/20.500.12708/116567 ( reposiTUm)

Baaz, M. (2002). Fast cut-elimination. 2nd Moscow-Vienna Workshop on Logic and Computation, Moscow, Russia, Austria. http://hdl.handle.net/20.500.12708/116077 ( reposiTUm)

Baaz, M. (2002). Recent results about Gödel logics. Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/116075 ( reposiTUm)

Baaz, M. (2002). Cut elimination. Tel Aviv University, Tel Aviv, Israel, Austria. http://hdl.handle.net/20.500.12708/116076 ( reposiTUm)

Baaz, M. (2002). A survey on Gödel logics. Faculty of Mathematics of the University of Barcelona, Barcelona, Spain, Austria. http://hdl.handle.net/20.500.12708/116078 ( reposiTUm)

Baaz, M. (2002). Cut-elimination methodologies for general logics. Logic of Soft Computing 2002, Anacapri, Italy, Austria. http://hdl.handle.net/20.500.12708/116082 ( reposiTUm)

Baaz, M. (2002). On generalizations of semi-terms of particularly simple form. 16th International Workshop CSL 2002, Edinburgh, Scotland, UK, Austria. http://hdl.handle.net/20.500.12708/116099 ( reposiTUm)

Baaz, M. (2002). Fast cut-elimination. Logic Colloquium 2002, Münster, Germany, Austria. http://hdl.handle.net/20.500.12708/116098 ( reposiTUm)

Baaz, M. (2002). Proof analysis by resolution. 18th International Conference on Automated Deduction, Copenhagen, Denmark, Austria. http://hdl.handle.net/20.500.12708/116097 ( reposiTUm)

Baaz, M. (2002). Logical analysis and generalization of proofs and calculations. Mathematics Colloquium of the University of Calgary, Calgary, Alberta, Canada, Austria. http://hdl.handle.net/20.500.12708/116084 ( reposiTUm)

Baaz, M. (2002). Proof analysis by resolution. Peripatetic Group on Logic and Category Theory, Calgary, Alberta, Canada, Austria. http://hdl.handle.net/20.500.12708/116083 ( reposiTUm)

Baaz, M. (2002). Undecidability of the monadic fragment of Gödel logics. Workshop on Soft Computing SOFSEM, Milovy, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/116085 ( reposiTUm)

Baaz, M. (2002). A Schütte-Tait style cut-elimination proof for first-order Gödel logic. TABLEAUX 2002, Siena, Italy, Austria. http://hdl.handle.net/20.500.12708/116086 ( reposiTUm)

Baaz, M., & Aguilera Ozuna, J. P. (2016). Unsound Inferences Make Proofs Shorter. arXiv. https://doi.org/10.48550/arXiv.1608.07703 ( reposiTUm)