Baaz, Matthias; Lolić, Anela Effective Skolemization. (English) Zbl 07810558 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 69-82 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolić}, Lect. Notes Comput. Sci. 13923, 69--82 (2023; Zbl 07810558) Full Text: DOI
Baaz, Matthias; Lolic, Anela Andrews Skolemization may shorten resolution proofs non-elementarily. (English) Zbl 07551708 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 9-24 (2022). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 13137, 9--24 (2022; Zbl 07551708) Full Text: DOI
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
Aguilera, J. P.; Baaz, M.; Bydžovský, J. The number of axioms. (English) Zbl 07501980 Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022). MSC: 03F03 03F20 03B10 03F07 PDFBibTeX XMLCite \textit{J. P. Aguilera} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022; Zbl 07501980) Full Text: DOI
Baaz, Matthias; Lolic, Anela First-order interpolation derived from propositional interpolation. (English) Zbl 1460.03006 Theor. Comput. Sci. 837, 209-222 (2020). Reviewer: Daniele Mundici (Firenze) MSC: 03B50 03C40 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, Theor. Comput. Sci. 837, 209--222 (2020; Zbl 1460.03006) Full Text: DOI arXiv
Baaz, Matthias; Preining, Norbert On the classification of first order Gödel logics. (English) Zbl 1445.03034 Ann. Pure Appl. Logic 170, No. 1, 36-57 (2019). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B52 03B55 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{N. Preining}, Ann. Pure Appl. Logic 170, No. 1, 36--57 (2019; Zbl 1445.03034) Full Text: DOI
Baaz, Matthias; Lolic, Anela Lyndon interpolation holds for the prenex \(\supset\) prenex fragment of Gödel logic. (English) Zbl 1416.03011 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 95-110 (2018). MSC: 03B50 03C40 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, EPiC Ser. Comput. 57, 95--110 (2018; Zbl 1416.03011) Full Text: DOI
Baaz, Matthias; Preining, Norbert Gödel logics and the fully boxed fragment of FO-LTL. (English) Zbl 1402.03025 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 404-416 (2017). MSC: 03B44 03B50 03B70 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{N. Preining}, EPiC Ser. Comput. 46, 404--416 (2017; Zbl 1402.03025) Full Text: DOI
Aguilera, Juan P.; Baaz, Matthias Ten problems in Gödel logic. (English) Zbl 1386.03024 Soft Comput. 21, No. 1, 149-152 (2017). MSC: 03B52 PDFBibTeX XMLCite \textit{J. P. Aguilera} and \textit{M. Baaz}, Soft Comput. 21, No. 1, 149--152 (2017; Zbl 1386.03024) Full Text: DOI
Baaz, Matthias; Lolic, Anela First-order interpolation of non-classical logics derived from propositional interpolation. (English) Zbl 1496.03097 Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 265-280 (2017). MSC: 03B50 03F03 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 10483, 265--280 (2017; Zbl 1496.03097) Full Text: DOI
Baaz, Matthias; Iemhoff, Rosalie Skolemization in intermediate logics with the finite model property. (English) Zbl 1405.03068 Log. J. IGPL 24, No. 3, 224-237 (2016). MSC: 03B55 03B25 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Iemhoff}, Log. J. IGPL 24, No. 3, 224--237 (2016; Zbl 1405.03068) Full Text: DOI Link
Aguilera, Juan P.; Baaz, Matthias Cut elimination for Gödel logic with an operator adding a constant. (English) Zbl 1478.03050 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 36-51 (2016). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{J. P. Aguilera} and \textit{M. Baaz}, Lect. Notes Comput. Sci. 9803, 36--51 (2016; Zbl 1478.03050) Full Text: DOI
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; Lahav, Ori; Zamansky, Anna Finite-valued semantics for canonical labelled calculi. (English) Zbl 1314.03016 J. Autom. Reasoning 51, No. 4, 401-430 (2013). MSC: 03B22 03B35 03B50 03F03 PDFBibTeX XMLCite \textit{M. Baaz} et al., J. Autom. Reasoning 51, No. 4, 401--430 (2013; Zbl 1314.03016) Full Text: DOI
Baaz, Matthias; Fasching, Oliver Gödel logics with monotone operators. (English) Zbl 1258.03027 Fuzzy Sets Syst. 197, 3-13 (2012). Reviewer: Daniele Mundici (Firenze) MSC: 03B50 03B25 03B52 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{O. Fasching}, Fuzzy Sets Syst. 197, 3--13 (2012; Zbl 1258.03027) Full Text: DOI
Baaz, Matthias; Lahav, Ori; Zamansky, Anna Effective finite-valued semantics for labelled calculi. (English) Zbl 1358.03018 Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 52-66 (2012). MSC: 03B22 03B35 03B50 03F07 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 7364, 52--66 (2012; Zbl 1358.03018) Full Text: DOI
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G. Theorem proving for prenex Gödel logic with \(\Delta\): checking validity and unsatisfiability. (English) Zbl 1238.03021 Log. Methods Comput. Sci. 8, No. 1, Paper No. 20, 23 p. (2012). MSC: 03B35 03B50 03B52 PDFBibTeX XMLCite \textit{M. Baaz} et al., Log. Methods Comput. Sci. 8, No. 1, Paper No. 20, 23 p. (2012; Zbl 1238.03021) Full Text: DOI arXiv
Baaz, Matthias; Preining, Norbert Gödel-Dummett logics. (English) Zbl 1284.03173 Cintula, Petr (ed.) et al., Handbook of mathematical fuzzy logic. Volume 2. London: College Publications (ISBN 978-1-84890-054-7/pbk). Studies in Logic (London) 38. Mathematical Logic and Foundations, 585-625 (2011). MSC: 03B52 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{N. Preining}, Stud. Log. (Lond.) 38, 585--625 (2011; Zbl 1284.03173)
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert First-order satisfiability in Gödel logics: an NP-complete fragment. (English) Zbl 1244.03090 Theor. Comput. Sci. 412, No. 47, 6612-6623 (2011). Reviewer: Brunella Gerla (Varese) MSC: 03B52 68Q17 68T35 92C50 PDFBibTeX XMLCite \textit{M. Baaz} et al., Theor. Comput. Sci. 412, No. 47, 6612--6623 (2011; Zbl 1244.03090) 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; Leitsch, Alexander Methods of cut-elimination. (English) Zbl 1225.03075 Trends in Logic–Studia Logica Library 34. Berlin: Springer (ISBN 978-94-007-0319-3/hbk; 978-94-007-0320-9/ebook). vi, 287 p. (2011). Reviewer: G. E. Mints (Stanford) MSC: 03F05 03B35 03-02 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, Methods of cut-elimination. Berlin: Springer (2011; Zbl 1225.03075) Full Text: DOI
Baaz, Matthias; Fermüller, Christian G. A resolution mechanism for prenex Gödel logic. (English) Zbl 1238.03022 Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 67-79 (2010). MSC: 03B35 03B50 03B52 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{C. G. Fermüller}, Lect. Notes Comput. Sci. 6247, 67--79 (2010; Zbl 1238.03022) Full Text: DOI
Baaz, Matthias; Metcalfe, George Herbrand’s theorem, Skolemization and proof systems for first-order Łukasiewicz logic. (English) Zbl 1188.03014 J. Log. Comput. 20, No. 1, 35-54 (2010). Reviewer: Daniele Mundici (Firenze) MSC: 03B50 03F05 06D35 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{G. Metcalfe}, J. Log. Comput. 20, No. 1, 35--54 (2010; Zbl 1188.03014) Full Text: DOI
Baaz, Matthias; Fasching, Oliver Note on witnessed Gödel logics with Delta. (English) Zbl 1183.03022 Ann. Pure Appl. Logic 161, No. 2, 121-127 (2009). Reviewer: Stefano Aguzzoli (Milano) MSC: 03B52 03C80 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{O. Fasching}, Ann. Pure Appl. Logic 161, No. 2, 121--127 (2009; Zbl 1183.03022) Full Text: DOI
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidability. (English) Zbl 1246.03046 Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 113-123 (2009). MSC: 03B52 03B25 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 5514, 113--123 (2009; Zbl 1246.03046) Full Text: DOI
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G. Cut elimination for first order Gödel logic by hyperclause resolution. (English) Zbl 1182.03102 Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 451-466 (2008). MSC: 03F05 03B35 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 5330, 451--466 (2008; Zbl 1182.03102) Full Text: DOI
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; Metcalfe, George Herbrand theorems and Skolemization for prenex fuzzy logics. (English) Zbl 1142.03340 Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 22-31 (2008). MSC: 03B52 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{G. Metcalfe}, Lect. Notes Comput. Sci. 5028, 22--31 (2008; Zbl 1142.03340) Full Text: DOI
Baaz, Matthias; Zach, Richard Effective finite-valued approximations of general propositional logics. (English) Zbl 1133.03328 Avron, Arnon (ed.) et al., Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Berlin: Springer (ISBN 978-3-540-78126-4/pbk). Lecture Notes in Computer Science 4800, 107-129 (2008). MSC: 03B50 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Zach}, Lect. Notes Comput. Sci. 4800, 107--129 (2008; Zbl 1133.03328) Full Text: DOI arXiv
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G. Monadic fragments of Gödel logics: Decidability and undecidability results. (English) Zbl 1138.03025 Dershowitz, Nachum (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75558-6/pbk). Lecture Notes in Computer Science 4790. Lecture Notes in Artificial Intelligence, 77-91 (2007). MSC: 03B50 03B25 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 4790, 77--91 (2007; Zbl 1138.03025) Full Text: DOI
Baaz, Matthias; Metcalfe, George Proof theory for first order Łukasiewicz logic. (English) Zbl 1133.03010 Olivetti, Nicola (ed.), Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73098-9/pbk). Lecture Notes in Computer Science 4548. Lecture Notes in Artificial Intelligence, 28-42 (2007). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{G. Metcalfe}, Lect. Notes Comput. Sci. 4548, 28--42 (2007; Zbl 1133.03010) 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; Leitsch, Alexander Towards a clausal analysis of cut-elimination. (English) Zbl 1125.03013 J. Symb. Comput. 41, No. 3-4, 381-410 (2006). MSC: 03B35 03F05 03F20 68T15 68W30 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, J. Symb. Comput. 41, No. 3--4, 381--410 (2006; Zbl 1125.03013) Full Text: DOI
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik Proof transformation by CERES. (English) Zbl 1125.03012 Borwein, Jonathan M. (ed.) et al., Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37104-4/pbk). Lecture Notes in Computer Science 4108. Lecture Notes in Artificial Intelligence, 82-93 (2006). MSC: 03B35 03F05 68T15 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 4108, 82--93 (2006; Zbl 1125.03012) Full Text: DOI
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; Moser, Georg Herbrand’s theorem and term induction. (English) Zbl 1093.03032 Arch. Math. Logic 45, No. 4, 447-503 (2006). Reviewer: Branislav Boričić (Beograd) MSC: 03F07 03F20 03B10 03B35 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{G. Moser}, Arch. Math. Logic 45, No. 4, 447--503 (2006; Zbl 1093.03032) Full Text: DOI
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 Note on formal analogical reasoning in the juridical context. (English) Zbl 1136.68523 Ong, Luke (ed.), Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28231-9/pbk). Lecture Notes in Computer Science 3634, 18-26 (2005). MSC: 68T27 03B60 PDFBibTeX XMLCite \textit{M. Baaz}, Lect. Notes Comput. Sci. 3634, 18--26 (2005; Zbl 1136.68523) Full Text: DOI
Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; Richter, Clemens; Spohr, Hendrik Cut-elimination: experiments with CERES. (English) Zbl 1108.03305 Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 481-495 (2005). MSC: 03B35 03F05 68T15 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 3452, 481--495 (2005; Zbl 1108.03305) Full Text: DOI
Baaz, Matthias; Leitsch, Alexander CERES in many-valued logics. (English) Zbl 1109.03007 Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 1-20 (2005). MSC: 03B35 03B50 03F05 68T15 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, Lect. Notes Comput. Sci. 3452, 1--20 (2005; Zbl 1109.03007) Full Text: DOI
Baaz, Matthias Controlling witnesses. (English) Zbl 1090.03033 Ann. Pure Appl. Logic 136, No. 1-2, 22-29 (2005). MSC: 03F50 03F65 03B10 PDFBibTeX XMLCite \textit{M. Baaz}, Ann. Pure Appl. Logic 136, No. 1--2, 22--29 (2005; Zbl 1090.03033) Full Text: DOI
Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco Analytic calculi for monoidal t-norm based logic. (English) Zbl 1057.03019 Fundam. Inform. 59, No. 4, 315-332 (2004). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 03B52 PDFBibTeX XMLCite \textit{M. Baaz} et al., Fundam. Inform. 59, No. 4, 315--332 (2004; Zbl 1057.03019)
Baaz, Matthias; Fermüller, Christian G. A translation characterizing the constructive content of classical theories. (English) Zbl 1273.03160 Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 107-121 (2003). MSC: 03F20 03B35 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{C. G. Fermüller}, Lect. Notes Comput. Sci. 2850, 107--121 (2003; Zbl 1273.03160)
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G. Sequent of relations calculi: A framework for analytic deduction in many-valued logics. (English) Zbl 1041.03020 Fitting, Melvin (ed.) et al., Beyond two: Theory and applications of multiple-valued logic. Heidelberg: Physica-Verlag (ISBN 3-7908-1541-1/pbk). Stud. Fuzziness Soft Comput. 114, 157-180 (2003). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B50 03F07 PDFBibTeX XMLCite \textit{M. Baaz} et al., Stud. Fuzziness Soft Comput. 114, 157--180 (2003; Zbl 1041.03020)
Baaz, Matthias (ed.); Makowsky, Johann A. (ed.) Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. (English) Zbl 1019.00011 Lecture Notes in Computer Science. 2803. Berlin: Springer. xii, 590 p. (2003). MSC: 00B25 68-06 03-06 03B70 68T27 PDFBibTeX XMLCite \textit{M. Baaz} (ed.) and \textit{J. A. Makowsky} (ed.), Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25--30, 2003. Proceedings. Berlin: Springer (2003; Zbl 1019.00011) Full Text: DOI Link
Baaz, Matthias; Preining, Norbert; Zach, Richard Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics. arXiv:math/0303011 Preprint, arXiv:math/0303011 [math.LO] (2003). MSC: 03B50 03B52 03B55 BibTeX Cite \textit{M. Baaz} et al., ``Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics'', Preprint, arXiv:math/0303011 [math.LO] (2003) Full Text: DOI arXiv
Baaz, Matthias Proof analysis by resolution. (English) Zbl 1072.03516 Voronkov, Andrei (ed.), Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43931-5). Lect. Notes Comput. Sci. 2392, 517-531 (2002). MSC: 03F07 03B35 PDFBibTeX XMLCite \textit{M. Baaz}, Lect. Notes Comput. Sci. 2392, 517--531 (2002; Zbl 1072.03516) Full Text: Link
Baaz, Matthias Proof analysis by resolution. (English) Zbl 1015.03509 Egly, Uwe (ed.) et al., Automated reasoning with analytic tableaux and related methods. 11th international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2381, 1 (2002). MSC: 03B35 68T15 03F07 PDFBibTeX XMLCite \textit{M. Baaz}, Lect. Notes Comput. Sci. 2381, 1 (2002; Zbl 1015.03509) Full Text: Link
Baaz, Matthias (ed.); Voronkov, Andrei (ed.) Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14–18, 2002. Proceedings. (English) Zbl 1007.00026 Lecture Notes in Computer Science 2514. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiii, 463 p. (2002). MSC: 00B25 03-06 68-06 03B70 68T27 68N30 PDFBibTeX XMLCite \textit{M. Baaz} (ed.) and \textit{A. Voronkov} (ed.), Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14--18, 2002. Proceedings. Berlin: Springer (2002; Zbl 1007.00026) Full Text: DOI Link
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut Complexity of t-tautologies. (English) Zbl 1006.03022 Ann. Pure Appl. Logic 113, No. 1-3, 3-11 (2002). Reviewer: Vilém Novák (Ostrava) MSC: 03B52 03B25 03D15 68Q17 PDFBibTeX XMLCite \textit{M. Baaz} et al., Ann. Pure Appl. Logic 113, No. 1--3, 3--11 (2002; Zbl 1006.03022) Full Text: DOI
Baaz, Matthias; Zach, Richard Approximating Propositional Calculi by Finite-valued Logics. arXiv:math/0203204 Preprint, arXiv:math/0203204 [math.LO] (2002). MSC: 03B50 03B45 03B60 BibTeX Cite \textit{M. Baaz} and \textit{R. Zach}, ``Approximating Propositional Calculi by Finite-valued Logics'', Preprint, arXiv:math/0203204 [math.LO] (2002) Full Text: DOI arXiv
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G. Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving. (English) Zbl 1275.03098 Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 201-216 (2001). MSC: 03B50 03B35 68T15 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 2250, 201--216 (2001; Zbl 1275.03098) Full Text: DOI
Baaz, Matthias; Moser, Georg On a generalisation of Herbrand’s theorem. (English) Zbl 0999.03051 Fribourg, Laurent (ed.), Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2142, 469-483 (2001). MSC: 03F20 03B35 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{G. Moser}, Lect. Notes Comput. Sci. 2142, 469--483 (2001; Zbl 0999.03051) Full Text: Link
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; Fermüller, Christian G.; Salzer, Gernot Automated deduction for many-valued logics. (English) Zbl 0992.03015 Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier. 1355-1402 (2001). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B35 03B50 68T15 PDFBibTeX XMLCite \textit{M. Baaz} et al., in: Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; Cambridge, MA: MIT Press. 1355--1402 (2001; Zbl 0992.03015)
Baaz, Matthias; Egly, Uwe; Leitsch, Alexander Normal form transformations. (English) Zbl 1005.03013 Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 273-333 (2001). Reviewer: U.Schöning (Ulm) MSC: 03B35 03F05 03F07 68T15 PDFBibTeX XMLCite \textit{M. Baaz} et al., in: Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; Cambridge, MA: MIT Press. 273--333 (2001; Zbl 1005.03013)
Baaz, Matthias; Ciabattoni, Agata; Zach, Richard Quantified propositional Gödel logics. (English) Zbl 0988.03014 Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 240-256 (2000). MSC: 03B25 03B50 03C10 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 1955, 240--256 (2000; Zbl 0988.03014) Full Text: arXiv
Baaz, Matthias; Zach, Richard Hypersequents and the proof theory of intuitionistic fuzzy logic. (English) Zbl 0973.03029 Clote, Peter G. (ed.) et al., Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1862, 187-201 (2000). MSC: 03B52 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Zach}, Lect. Notes Comput. Sci. 1862, 187--201 (2000; Zbl 0973.03029) Full Text: arXiv
Baaz, Matthias; Fermüller, Christian; Veith, Helmut An analytic calculus for quantified propositional Gödel logic. (English) Zbl 0963.03075 Dyckhoff, Roy (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3-7, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1847, 112-126 (2000). MSC: 03F05 03B55 03B35 03B52 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 1847, 112--126 (2000; Zbl 0963.03075)
Baaz, Matthias; Leitsch, Alexander Cut-elimination and redundancy-elimination by resolution. (English) Zbl 0976.03059 J. Symb. Comput. 29, No. 2, 149-176 (2000). Reviewer: G.Mints (Stanford) MSC: 03F05 03B35 68T15 03B10 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, J. Symb. Comput. 29, No. 2, 149--176 (2000; Zbl 0976.03059) Full Text: DOI Link
Baaz, Matthias; Veith, Helmut An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule. (English) Zbl 0943.03020 Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 91-104 (2000). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{H. Veith}, Lect. Notes Log. 13, 91--104 (2000; Zbl 0943.03020)
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 Note on the generalization of calculations. (English) Zbl 0930.03008 Theor. Comput. Sci. 224, No. 1-2, 3-11 (1999). MSC: 03B35 11Y11 11A51 03C07 68W30 03D75 PDFBibTeX XMLCite \textit{M. Baaz}, Theor. Comput. Sci. 224, No. 1--2, 3--11 (1999; Zbl 0930.03008) Full Text: DOI
Baaz, Matthias; Veith, Helmut Interpolation in fuzzy logic. (English) Zbl 0936.03026 Arch. Math. Logic 38, No. 7, 461-489 (1999). MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{H. Veith}, Arch. Math. Logic 38, No. 7, 461--489 (1999; Zbl 0936.03026) Full Text: DOI
Baaz, Matthias; Veith, Helmut Quantifier elimination in fuzzy logic. (English) Zbl 0933.03022 Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 399-414 (1999). MSC: 03B52 03C10 03B50 06D72 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{H. Veith}, Lect. Notes Comput. Sci. 1584, 399--414 (1999; Zbl 0933.03022)
Baaz, Matthias; Fermüller, Christian G. Analytic calculi for projective logics. (English) Zbl 0931.03066 Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 36-50 (1999). MSC: 03F03 03B50 68T27 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{C. G. Fermüller}, Lect. Notes Comput. Sci. 1617, 36--50 (1999; Zbl 0931.03066)
Baaz, Matthias; Hájek, Petr; Krajíček, Jan; Švejda, David Embedding logics into product logic. (English) Zbl 0962.03019 Stud. Log. 61, No. 1, 35-47 (1998). MSC: 03B50 03B52 03D15 68Q17 PDFBibTeX XMLCite \textit{M. Baaz} et al., Stud. Log. 61, No. 1, 35--47 (1998; Zbl 0962.03019) Full Text: DOI
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot; Zach, Richard Labeled calculi and finite-valued logics. (English) Zbl 0963.03039 Stud. Log. 61, No. 1, 7-33 (1998). MSC: 03B50 03B22 03F05 PDFBibTeX XMLCite \textit{M. Baaz} et al., Stud. Log. 61, No. 1, 7--33 (1998; Zbl 0963.03039) Full Text: DOI
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. (English) Zbl 0921.03028 Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 203-212 (1998). Reviewer: Siegfried Johannes Gottwald (Leipzig) MSC: 03B52 03F03 03B50 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 1450, 203--212 (1998; Zbl 0921.03028)
Baaz, Matthias; Egly, Uwe; Fermüller, Christian G. Lean induction principles for tableaux. (English) Zbl 1415.03015 Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 62-75 (1997). MSC: 03B35 03F30 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 1227, 62--75 (1997; Zbl 1415.03015) Full Text: DOI
Baaz, Matthias; Leitsch, Alexander; Zach, Richard Completeness of a first-order temporal logic with time-gaps. (English) Zbl 0872.68171 Theor. Comput. Sci. 160, No. 1-2, 241-270 (1996). MSC: 68T27 03B45 PDFBibTeX XMLCite \textit{M. Baaz} et al., Theor. Comput. Sci. 160, No. 1--2, 241--270 (1996; Zbl 0872.68171) Full Text: DOI Link
Baaz, Matthias Infinite-valued Gödel logics with 0-1-projections and relativizations. (English) Zbl 0862.03015 Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 23-33 (1996). MSC: 03B50 03B45 03B55 PDFBibTeX XMLCite \textit{M. Baaz}, Lect. Notes Log. 6, 23--33 (1996; Zbl 0862.03015)
Baaz, Matthias; Fermüller, Christian G.; Salzer, Gernot; Zach, Richard MUltlog 1.0: towards an expert system for many-valued logics. (English) Zbl 1412.68204 McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 226-230 (1996). MSC: 68T15 03B50 68T35 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 1104, 226--230 (1996; Zbl 1412.68204) Full Text: DOI
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
Baaz, Matthias; Leitsch, Alexander Methods of functional extension. (English) Zbl 0840.03042 Collegium Logicum. Annals of the Kurt-Gödel-Society. Vol. 1. Wien: Springer-Verlag. 87-122 (1995). Reviewer: M.Yasuhara (Princeton) MSC: 03F20 03B35 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, in: Collegium Logicum. Annals of the Kurt-Gödel-Society. Vol. 1. Wien: Springer-Verlag. 87--122 (1995; Zbl 0840.03042)
Baaz, Matthias; Leitsch, Alexander On Skolemization and proof complexity. (English) Zbl 0815.03003 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 20, No. 4, 353-379 (1994). Reviewer: A.Leitsch (Wien) MSC: 03B35 68T15 03F20 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 20, No. 4, 353--379 (1994; Zbl 0815.03003)
Baaz, M.; Zach, R. Short proofs of tautologies using the schema of equivalence. (English) Zbl 0953.03513 Börger, Egon (ed.) et al., Computer science logic. 7th Workshop, CSL ’93, Swansea, GB, September 13-17, 1993. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 832, 33-35 (1994). MSC: 03B35 03B05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Zach}, Lect. Notes Comput. Sci. 832, 33--35 (1994; Zbl 0953.03513)
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard Elimination of cuts in first-order finite-valued logics. (English) Zbl 0821.03013 J. Inf. Process. Cybern. 29, No. 6, 333-355 (1993). MSC: 03B50 03F05 68T30 68T27 68T35 PDFBibTeX XMLCite \textit{M. Baaz} et al., J. Inf. Process. Cybern. 29, No. 6, 333--355 (1993; Zbl 0821.03013)
Baaz, Matthias; Fermüller, Christian G.; Ovrutcki, Arie; Zach, Richard MULTLOG: A system for axiomatizing many-valued logics. (English) Zbl 0793.68126 Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 345-347 (1993). MSC: 68T15 03B50 PDFBibTeX XMLCite \textit{M. Baaz} et al., Lect. Notes Comput. Sci. 698, 345--347 (1993; Zbl 0793.68126)
Baaz, Matthias; Zach, Richard Algorithmic structuring of cut-free proofs. (English) Zbl 0794.03076 Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 29-42 (1993). MSC: 03F20 03B25 03B35 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Zach}, Lect. Notes Comput. Sci. 702, 29--42 (1993; Zbl 0794.03076)
Baaz, Matthias; Fermüller, Christian G.; Zach, Richard Dual systems of sequents and tableaux for many-valued logics. (English) Zbl 0788.03029 Bull. EATCS 51, 192-197 (1993). MSC: 03B50 03F05 03B35 PDFBibTeX XMLCite \textit{M. Baaz} et al., Bull. EATCS 51, 192--197 (1993; Zbl 0788.03029)
Baaz, Matthias; Leitsch, Alexander Complexity of resolution proofs and function introduction. (English) Zbl 0769.03009 Ann. Pure Appl. Logic 57, No. 3, 181-215 (1992). Reviewer: G.Mints (Stanford) MSC: 03B35 03F20 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, Ann. Pure Appl. Logic 57, No. 3, 181--215 (1992; Zbl 0769.03009) Full Text: DOI
Baaz, Matthias; Zach, Richard Note on calculi for a three-valued logic for logic programming. (English) Zbl 1023.68511 Bull. EATCS 48, 157-164 (1992). MSC: 68N17 03B50 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Zach}, Bull. EATCS 48, 157--164 (1992; Zbl 1023.68511)
Baaz, Matthias; Fermüller, Christian G. Resolution for many-valued logics. (English) Zbl 0920.03019 Voronkov, A. (ed.), fogic programming and automated reasoning. International conference, LPAR ’92, St. Peterburg, Russia, July 15–20, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 624, 107-118 (1992). MSC: 03B35 03B50 68T15 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{C. G. Fermüller}, Lect. Notes Comput. Sci. 624, 107--118 (1992; Zbl 0920.03019)
Baaz, Matthias Automated theorem proving for finite-valued logics. (Automatisches Beweisen für endlichwertige Logiken.) (German) Zbl 0889.03012 Mitt. Math. Ges. Hamb. 12, No. 4, 1141-1155 (1991). MSC: 03B35 03B50 68T15 68T99 PDFBibTeX XMLCite \textit{M. Baaz}, Mitt. Math. Ges. Hamb. 12, No. 4, 1141--1155 (1991; Zbl 0889.03012)
Baaz, Matthias Automatisches Beweisen für endlichwertige Logiken. (Automatic theorem- proving for finite-valued logics). (German) Zbl 0735.03002 Jahrbuch 1989 der Kurt-Gödel-Gesellschaft, Proc. 1st Kurt-Gödel- Colloq., Salzburg/Austria 1989, 105-107 (1990). MSC: 03B35 03B50 PDFBibTeX XMLCite \textit{M. Baaz}, in: Mind brain machine. . 105--107 (1990; Zbl 0735.03002)
Baaz, Matthias Über den allgemeinen Gehalt von Beweisen. (On the general content of proofs). (German) Zbl 0694.03036 General algebra, Dedicated Mem. of Wilfried Nöbauer, Contrib. Gen. Algebra 6, 21-29 (1988). MSC: 03F20 03B35 PDFBibTeX XML
Baaz, Matthias; Quirchmayr, Gerald Juridische Schlüsse und mehrwertige Logik. (Legal reasoning and many- valued logic). (German) Zbl 0681.03009 Jahrbuch der Kurt-Gödel-Gesellschaft 1988, 86-93 (1988). MSC: 03B50 PDFBibTeX XML
Baaz, Matthias Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können. (German) Zbl 0639.68094 Artificial intelligence, Proc. 3. Österr. Tag., Wien 1987, Inf.- Fachber. 151, 176-181 (1987). MSC: 68T15 03B35 PDFBibTeX XML
Baaz, Matthias Kripke-type semantics for Da Costa’s paraconsistent logic \(C_{\omega}\). (English) Zbl 0622.03013 Notre Dame J. Formal Logic 27, 523-527 (1986). Reviewer: G.Priest MSC: 03B45 03C35 PDFBibTeX XMLCite \textit{M. Baaz}, Notre Dame J. Formal Logic 27, 523--527 (1986; Zbl 0622.03013) Full Text: DOI
Baaz, M.; Leitsch, A. Eine Methode zur automatischen Problemreduktion. (German) Zbl 0607.68071 Österr. Artificial Intelligence-Tag., Wien 1985, Inf.-Fachber. 106, 154-163 (1985). Reviewer: M.M.Richter MSC: 68T15 03B35 PDFBibTeX XML
Baaz, Matthias; Leitsch, Alexander Die Anwendung starker Reduktionsregeln in automatischen Beweisen. (German) Zbl 0596.03007 Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 194, 287-307 (1985). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Leitsch}, Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 194, 287--307 (1985; Zbl 0596.03007)