Математическая энциклопедия - подформульности свойство

свойство нек-рых логических исчислений и логико-математических исчислений, заключающееся в том, что посылки каждого правила исчисления состоят из подформул заключения. П. с. позволяет организовать поиск вывода "снизу вверх" (см. Генцена формальная система). С целью повышения эффективности такого поиска для многих исчислений рассматриваются различные специализации и обобщения П. с. С. Ю. Маслов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985