by Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
Reference:
Proof Theory of Fuzzy Logics: Urquhart's C and Related LogicsMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut VeithMathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lubos Brim, Jozef Gruska, Jirí Zlatuska, eds.), pages 203-212, 1998, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/mfcs/BaazCFV98,
author = {Matthias Baaz and Agata Ciabattoni and Christian G. Ferm{\"u}ller and Helmut Veith},
title = {Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics},
year = {1998},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
editor = {Lubos Brim and Jozef Gruska and Jir\'{\i} Zlatuska},
pages = {203--212},
publisher = {Springer},
isbn = {3-540-64827-5},
url = {http://link.springer.de/link/service/series/0558/bibs/1450/14500203.htm}
}