ПОДФОРМУЛЬНОСТИ СВОЙСТВО

ПОДФОРМУЛЬНОСТИ СВОЙСТВО: свойство нек-рых логических исчислений и логико-математических исчислений, заключающееся в том, что посылки каждого правила исчисления состоят из подформул заключения. П. с. позволяет организовать поиск вывода "снизу вверх" (см. Генцена формальная система). С целью повышения эффективности такого поиска для многих исчислений рассматриваются различные специализации и обобщения П. с. С. Ю. Маслов.

Игры ⚽ Поможем написать курсовую

ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… … Математическая энциклопедия
ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ — ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода. Термин “секвенция” происходит от… … Философская энциклопедия

Словари и энциклопедии на Академике