Interpolation in the context of sequent calculi labelled with truth values. Global interpolation, local interpolation and arrow interpolation and their relationship. Constructive (proof-theoretic) versus non-constructive (model-theoretic) proofs. General (constructive) result of interpolation for well behaved sequent calculi. The modal and first-order sequent calculi as particular examples. Preservation of interpolation when fibring logics.