Proof Theory of Fuzzy Logics: Urquhart s C and Related Logics

Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith. Proof Theory of Fuzzy Logics: Urquhart s C and Related Logics. In Lubos Brim, Jozef Gruska, Jirí Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1450 of Lecture Notes in Computer Science, pages 203-212, Springer, 1998. [doi]

Authors

Matthias Baaz

This author has not been identified. Look up 'Matthias Baaz' in Google

Agata Ciabattoni

This author has not been identified. Look up 'Agata Ciabattoni' in Google

Christian G. Fermüller

This author has not been identified. Look up 'Christian G. Fermüller' in Google

Helmut Veith

This author has not been identified. Look up 'Helmut Veith' in Google