Статья 488

Во-первых, дерево поиска перевернуто. Это перевернутое дерево будем называть таблицей. Во-вторых, вместо знака секвенции мы пишем горизонтальную черту, формулы, стоящие слева от стрелки, записываем столбцом влево от черты, а стоящие справа - столбцом справа от черты. Например, правилу введения импликации справа.
Двухпосылочным правилам вывода будет соответствовать разбиение таблицы на две подтаблицы. Правилу будет соответствовать переход от таблицы к таблице. Таблица замкнута, если каждая подтаблица замкнута, в ее левую и правую часть входят одни и те же формулы.

Более наглядной формой, чем семантические таблицы Бета, являются аналитические таблицы. Вместо секвенции мы пишем список отмеченных знаками формул. Запись означает, что формула находится в левой части секвенции, что формула, находится в ее правой части.