Matthias Baaz

Identifiers

No identifiers captured yet.

Papers (6)

1. Goedel Logics: On the Elimination of The Absoluteness Operator cs.LO · 2026 · author #1
2. An interpolant in predicate G\"odel logic math.LO · 2018 · author #1
3. Unsound Inferences Make Proofs Shorter math.LO · 2016 · author #2
4. First-order Goedel logics math.LO · 2006 · author #1
5. Quantified propositional Goedel logics math.LO · 2000 · author #1
6. Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic math.LO · 2000 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Richard Zach 3 shared papers
• Agata Ciabattoni 1 shared papers
• Juan P. Aguilera 1 shared papers
• Mai Gehrke 1 shared papers
• Mariami Gamsakhurdia 1 shared papers
• Norbert Preining 1 shared papers
• Sam van Gool 1 shared papers