Author:
Aguilera Juan P.,Baaz Matthias
Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Baaz, M., Ciabattoni, A., Fermüller, C.G.: Cut-elimination in a sequents-of-relations calculus for Gödel logic. In: Proceedings of The International Symposium on Multiple-Valued Logic, pp. 181–186 (2001)
2. Baaz, M., Fasching, O.: Monotone operators on Gödel logic. Arch. Math. Logic 53, 261–284 (2014)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);DM Gabbay,2002
4. Applied Logic;D Gabbay,2008
5. Takeuti, G.: Proof Theory. North-Holland, Amsterdam (1987)