Подробное описание документа

   Модели и методы оптимизации : сб. тр. / ВНИИ системных исследований. - М., 1987. - ISSN 0202-5280.
   Вып. 11. - 1987. - 122 с. : ил. - Библиогр. в конце ст.

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