Hypersequents and the proof theory of intuitionistic fuzzy logic (2000)

by M Baaz, R Zach
Venue:In Proceedings of Computer Science Logic (CSL), volume 1862 of LNCS