Метод взаимного перевода индексированных и табличных выводов.

Аннотация

В данной статье один из вариантов упомянутого в ее названии метода демонстрируется на примере класса нормальных пропозициональных модальных систем табличного вывода $\{\mathbf{ST}\}_{\mathbf{R}}$ и дедуктивно эквивалентных им секвенциальных исчислений с индексированными формулами $\{\mathbf{SG}\}_{\mathbf{R}}$.