Two types of universal proof systems for all variants of many-valued logics and some properties of them