Author:
Baaz Matthias,Leitsch Alexander
Reference28 articles.
1. M. Aigner, G.M. Ziegler: Proofs from THE BOOK. Springer, Berlin, 1998.
2. A. Avron: Hypersequents, Logical Consequence and Intermediate Logics for Concurrency. Annals of Mathematics and Artificial Intelligence, 4, pp. 225–248, 1991.
3. A. Avron: The Method of Hypersequents in Proof Theory of Propositional Non-Classical Logics. In Logic: From Foundations to Applications. Clarendon Press, Oxford, pp. 1–32, 1996.
4. M. Baaz, A. Ciabattoni: A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. Proceedings of Tableaux 2002. LNAI 2381, pp. 24–38, 2002.
5. M. Baaz, A. Ciabattoni, C.G. Fermüller: Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving. Proceedings of LPAR’2001. LNAI 2250, pp. 201–216, 2001.