A proof-theoretical investigation of global intuitionistic (fuzzy) logic