Baaz, Matthias; Zach, Richard Epsilon theorems in intermediate logics. (English) Zbl 07541918 J. Symb. Log. 87, No. 2, 682-720 (2022). MSC: 03F05 03B20 03B55 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Zach}, J. Symb. Log. 87, No. 2, 682--720 (2022; Zbl 07541918) Full Text: DOI arXiv Link
Baaz, Matthias; Ciabattoni, Agata Proof theory of witnessed Gödel logic: a negative result. (English) Zbl 1444.03016 J. Log. Comput. 26, No. 1, 51-64 (2016). MSC: 03B40 03B20 03F03 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Ciabattoni}, J. Log. Comput. 26, No. 1, 51--64 (2016; Zbl 1444.03016) Full Text: DOI
Baaz, Matthias; Fermüller, Christian G. Elementary elimination of prenex cuts in disjunction-free intuitionistic logic. (English) Zbl 1373.03122 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 94-109 (2015). MSC: 03F05 03B20 03F20 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{C. G. Fermüller}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 94--109 (2015; Zbl 1373.03122) Full Text: DOI
Fasching, Oliver; Baaz, Matthias Monotone operators on Gödel logic. (English) Zbl 1432.03035 Arch. Math. Logic 53, No. 3-4, 261-284 (2014). MSC: 03B50 03B20 03B45 03B52 PDFBibTeX XMLCite \textit{O. Fasching} and \textit{M. Baaz}, Arch. Math. Logic 53, No. 3--4, 261--284 (2014; Zbl 1432.03035) Full Text: DOI
Baaz, Matthias; Iemhoff, Rosalie Eskolemization in intuitionistic logic. (English) Zbl 1241.03067 J. Log. Comput. 21, No. 4, 625-638 (2011). Reviewer: G. E. Mints (Stanford) MSC: 03F05 03B20 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Iemhoff}, J. Log. Comput. 21, No. 4, 625--638 (2011; Zbl 1241.03067) Full Text: DOI Link
Baaz, Matthias; Preining, Norbert Quantifier elimination for quantified propositional logics on Kripke frames of type \({\omega}\). (English) Zbl 1146.03011 J. Log. Comput. 18, No. 4, 649-668 (2008). MSC: 03C10 03B20 03B50 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{N. Preining}, J. Log. Comput. 18, No. 4, 649--668 (2008; Zbl 1146.03011) Full Text: DOI
Baaz, Matthias; Preining, Norbert; Zach, Richard First-order Gödel logics. (English) Zbl 1146.03010 Ann. Pure Appl. Logic 147, No. 1-2, 23-47 (2007). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 PDFBibTeX XMLCite \textit{M. Baaz} et al., Ann. Pure Appl. Logic 147, No. 1--2, 23--47 (2007; Zbl 1146.03010) Full Text: DOI arXiv
Baaz, Matthias; Iemhoff, Rosalie The Skolemization of existential quantifiers in intuitionistic logic. (English) Zbl 1106.03004 Ann. Pure Appl. Logic 142, No. 1-3, 269-295 (2006). Reviewer: Osamu Sonobe (Follonica) MSC: 03B20 03B25 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Iemhoff}, Ann. Pure Appl. Logic 142, No. 1--3, 269--295 (2006; Zbl 1106.03004) Full Text: DOI Link
Baaz, Matthias; Iemhoff, Rosalie Gentzen calculi for the existence predicate. (English) Zbl 1097.03046 Stud. Log. 82, No. 1, 7-23 (2006). MSC: 03F05 03B20 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Iemhoff}, Stud. Log. 82, No. 1, 7--23 (2006; Zbl 1097.03046) Full Text: DOI
Baaz, Matthias; Iemhoff, Rosalie On the proof theory of the existence predicate. (English) Zbl 1279.03031 Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. London: College Publications (ISBN 1-904987-11-7/pbk; 1-904987-25-7/hbk). Tributes 1, 125-165 (2005). MSC: 03B20 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Iemhoff}, Tributes 1, 125--165 (2005; Zbl 1279.03031)
Baaz, Matthias; Iemhoff, Rosalie On interpolation in existence logics. (English) Zbl 1143.03325 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 697-711 (2005). MSC: 03B20 03C40 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Iemhoff}, Lect. Notes Comput. Sci. 3835, 697--711 (2005; Zbl 1143.03325) Full Text: DOI
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G. A natural deduction system for intuitionistic fuzzy logic. (English) Zbl 1008.03015 Di Nola, Antonio (ed.) et al., Lectures on soft computing and fuzzy logic. Heidelberg: Physica-Verlag. Advances in Soft Computing. 1-18 (2001). Reviewer: Vilém Novák (Ostrava) MSC: 03B52 PDFBibTeX XMLCite \textit{M. Baaz} et al., in: Lectures on soft computing and fuzzy logic. Heidelberg: Physica-Verlag. 1--18 (2001; Zbl 1008.03015)
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut On the undecidability of some sub-classical first-order logics. (English) Zbl 0952.03003 Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 258-268 (1999). MSC: 03B25 03F05 03B20 03B50 03B47 03B52 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 1738, 258--268 (1999; Zbl 0952.03003)
Baaz, Matthias; Fermüller, Christian G. Combining many-valued and intuitionistic tableaux. (English) Zbl 1415.03016 Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 65-79 (1996). MSC: 03B35 03B20 03B50 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{C. G. Fermüller}, Lect. Notes Comput. Sci. 1071, 65--79 (1996; Zbl 1415.03016) Full Text: DOI