|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Руцкий А. Н. Критерий допустимости правил вывода с метапеременными в модальной логике $S4.\alpha _N$ //
Том 48 (2007), Номер 2,
стр. 396407
Представлен критерий допустимости правил вывода с метапеременными в модальной логике $S4.\alpha_N$. Тем самым в логике $S4.\alpha_N$ решена проблема подстановки и получен алгоритм, распознающий разрешимость логических уравнений. Другим следствием критерия является разрешимость соответствующей квазиэквациональной теории свободной модальной алгебры в сигнатуре, обогащенной константами для свободных порождающих.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|