Расширение области определения оператора истинности на ограниченную область символьных выражений.

Аннотация

Целью этой работы является построение языка логики, в котором область определения операторов истинности и ложности расширяется на область символьных выражений языка и вводятся кванторы по этим символьным выражениям. Символьным выражением некоторого языка $L$ называется любая конечная линейная последовательность (упорядоченная $n$-ка) символов из алфавита этого языка $L$. Синонимом символьного выражения являются слово, выражение или строка в алфавите [4].

В [3] сформулирована логика, обогащенная операторами истинности и ложности, а также связкой полной эквивалентности $G\cong$. Затем эта логика расширена на область нестандартных формул. Следующий шаг состоит в квантификации по символьным выражения языка этой логики.