Подформульности Свойство

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