Matthias Baaz Richard Zach Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. 187-201 http://link.springer.de/link/service/series/0558/bibs/1862/18620187.htm 2000 conf/csl/2000 CSL db/conf/csl/csl2000.html#BaazZ00