Name Card

Full name Familienname, Vorname
Baaz, Matthias
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 233 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias Andrew's Skolemization my shorten proofs non-elementarilyPresentation Vortrag13-Nov-2023
2Baaz, Matthias ; Lolic, Anela First-Order Interpolation Derived from Propositional InterpolationPresentation VortragNov-2022
3Baaz, Matthias Epsilon CalculusPresentation Vortrag22-Sep-2022
4Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation VortragSep-2022
5Baaz, Matthias Gödel logics - the dominance of orderPresentation VortragSep-2022
6Baaz-2022-Cut-Elimination for a Hypersequent Calculus for First-Order Go...-smur.pdf.jpgBaaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation Vortrag Sep-2022
7Baaz, Matthias Teaching LogicPresentation Vortrag1-Aug-2022
8Baaz, Matthias The proof-theoretic analysis of incorrect proofsPresentation VortragAug-2022
9Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021
10Baaz, Matthias Kurt Gödel and Alfred Tarski: The Extremes of LogicPräsentation Presentation2021
11Baaz, Matthias Analytic calculi for quantifier macrosPräsentation Presentation2021
12Baaz, Matthias ; Lolic, Anela Towards a proof theory for Henkin quantifiersArtikel Article 2021
13Baaz, Matthias Incompleteness and attempted proofs of consistencyPräsentation Presentation2021
14Baaz, Matthias On the benefit of unsound rulesPräsentation Presentation2021
15Baaz, Matthias Gödel logics - Enduring Consequences of a Short PaperPräsentation Presentation2020
16Baaz, Matthias Mathematical Logic: Proof Theory, Constructive MathematicsPräsentation Presentation2020
17Baaz, Matthias Cut Elimination as Error Correcting DevicePräsentation Presentation2020
18Baaz, Matthias Wittgenstein's Traktat from the Perspective of a Contemporary LogicianPräsentation Presentation2020
19Baaz, Matthias ; Lolic, Anela First-order interpolation derived from propositional interpolationArtikel Article 2020
20Baaz, Matthias ; Lolic, Anela A Globally Sound Analytic Calculus for Henkin QuantifiersKonferenzbeitrag Inproceedings2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-17 of 17 (Search time: 0.011 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Sauras Altuzarra Lorenzo - 2024 - From Logic to Discrete Geometry via Lattices.pdf.jpgSauras Altuzarra, Lorenzo From Logic to Discrete Geometry via LatticesThesis Hochschulschrift 2024
2Jergitsch Charlotte - 2023 - Interpolation by translation.pdf.jpgJergitsch, Charlotte Interpolation by translationThesis Hochschulschrift 2023
3Bydžovský, Jan Proofs as finite structuresThesis Hochschulschrift2022
4Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift 2020
5Aguilera Ozuna, Juan Pablo Between the finite and the infiniteThesis Hochschulschrift2019
6Lettmann Michael Peter - 2018 - Algorithmic introduction of 2-cuts.pdf.jpgLettmann, Michael Peter Algorithmic introduction of π2-cutsThesis Hochschulschrift 2018
7Fokina Ekaterina - 2016 - Algorithmic properties of equivalence relations.pdf.jpgFokina, Ekaterina Algorithmic properties of equivalence relationsThesis Hochschulschrift 2016
8Machado Nogueira Reis Giselle - 2014 - Cut-elimination by resolution in...pdf.jpgMachado Nogueira Reis, Giselle Cut-elimination by resolution in intuitionistic logicThesis Hochschulschrift 2014
9Pflug Florian - 2014 - On the expressibility of semi-unification problems...pdf.jpgPflug, Florian On the expressibility of semi-unification problems : decidability and undecidability resultsThesis Hochschulschrift 2014
10Baaz, Matthias ; Papadimitriou, Christos H. ; Putnam, Hilary W. ; Scott, Dana S. ; Harper Jr., Charles L. Kurt Gödel and the foundations of mathematics: Horizon of truthBuch Book2011
11Fasching Oliver - 2011 - Operator extensions of Goedel logics.pdf.jpgFasching, Oliver Operator extensions of Gödel logicsThesis Hochschulschrift 2011
12Pkhakadze, Nikoloz Quantifier elimination in quantified propositional Łukasiewicz logicThesis Hochschulschrift2010
13Zobel Sarah - 2009 - Choice sequences past and future.pdf.jpgZobel, Sarah Choice sequences : past and futureThesis Hochschulschrift 2009
14Woltzenlogel Paleo Bruno - 2009 - A general analysis of cut-elimination by CERes.pdf.jpgWoltzenlogel Paleo, Bruno A general analysis of cut-elimination by CEResThesis Hochschulschrift 2009
15Richter Clemens - 2006 - Proof transformations by resolution computational...pdf.jpgRichter, Clemens Proof transformations by resolution : computational methods of cut-eliminationThesis Hochschulschrift 2006
16Preining, Norbert Complete recursive axiomatizability of Gödel logicsThesis Hochschulschrift2003
17Moschner, Markus Finite model building in propositional Gödel logicsThesis Hochschulschrift2001