Monoidal closed categories, weak topoi and generalized logics