## Matthias Baaz, Richard Zach

*Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic*

CSL, 2000.

@inproceedings{CSL-2000-BaazZ, author = "Matthias Baaz and Richard Zach", booktitle = "{Proceedings of the 14th EACSL Annual Conference on Computer Science Logic}", doi = "10.1007/3-540-44622-2_12", isbn = "3-540-67895-6", pages = "187--201", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic}", volume = 1862, year = 2000, }