TY  - RPRT
TI  - Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
AU  - Matthias Baaz
AU  - Richard Zach
PY  - 2000
UR  - https://arxiv.org/abs/math/0005183
ID  - math/0005183
ER  -