Sequent calculus for the infinitely-valued generalization of the three-valued logic PContдоклад на конференции