...sophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert ’s style, sequent, and hypersequent. Recall that hypersequents are a natural generalization of Gentzen ’s style sequents that was introduced independently by Avron and Pottinger . In particular, we...