Теорема о нормализации выводов для логики Сетте и ее модификаций

Формулируются исчисления естественного вывода для трехзначной паранепротиворечивой логики Сетте $\mathbf P^1$ и некоторых родственных ей логик. Для предлагаемых исчислений доказываются теоремы о корректности, полноте и нормализации выводов.