| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Baaz, Matthias | Andrew's Skolemization my shorten proofs non-elementarily | Presentation Vortrag | 13-Nov-2023 |
| 2 | | Baaz, Matthias ; Lolic, Anela | First-Order Interpolation Derived from Propositional Interpolation | Presentation Vortrag | Nov-2022 |
| 3 | | Baaz, Matthias | Epsilon Calculus | Presentation Vortrag | 22-Sep-2022 |
| 4 | | Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert | Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta | Presentation Vortrag | Sep-2022 |
| 5 | | Baaz, Matthias | Gödel logics - the dominance of order | Presentation Vortrag | Sep-2022 |
| 6 |  | Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert | Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta | Presentation Vortrag  | Sep-2022 |
| 7 | | Baaz, Matthias | Teaching Logic | Presentation Vortrag | 1-Aug-2022 |
| 8 | | Baaz, Matthias | The proof-theoretic analysis of incorrect proofs | Presentation Vortrag | Aug-2022 |
| 9 | | Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela | An abstract form of the first epsilon theorem | Artikel Article  | 2021 |
| 10 | | Baaz, Matthias | On the benefit of unsound rules | Präsentation Presentation | 2021 |
| 11 | | Baaz, Matthias | Kurt Gödel and Alfred Tarski: The Extremes of Logic | Präsentation Presentation | 2021 |
| 12 | | Baaz, Matthias | Analytic calculi for quantifier macros | Präsentation Presentation | 2021 |
| 13 | | Baaz, Matthias | Incompleteness and attempted proofs of consistency | Präsentation Presentation | 2021 |
| 14 | | Baaz, Matthias ; Lolic, Anela | Towards a proof theory for Henkin quantifiers | Artikel Article  | 2021 |
| 15 | | Baaz, Matthias | Gödel logics - Enduring Consequences of a Short Paper | Präsentation Presentation | 2020 |
| 16 | | Baaz, Matthias | Mathematical Logic: Proof Theory, Constructive Mathematics | Präsentation Presentation | 2020 |
| 17 | | Baaz, Matthias | Cut Elimination as Error Correcting Device | Präsentation Presentation | 2020 |
| 18 | | Baaz, Matthias | Wittgenstein's Traktat from the Perspective of a Contemporary Logician | Präsentation Presentation | 2020 |
| 19 | | Baaz, Matthias ; Lolic, Anela | First-order interpolation derived from propositional interpolation | Artikel Article  | 2020 |
| 20 | | Baaz, Matthias ; Lolic, Anela | A Globally Sound Analytic Calculus for Henkin Quantifiers | Konferenzbeitrag Inproceedings | 2020 |