Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic.

Matthias Baaz, Richard Zach

Browse the full CSL paper archive.