|
Сибирский математический журнал, 1991, том 32, номер 2, страницы 140–153
(Mi smj4618)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике
В. В. Рыбаков
Аннотация:
Исследуется разрешимость логических уравнений и допустимость правил вывода с параметрами в модальной системе $\operatorname{Grz}$. Построены алгоритмический и семантический критерии допустимости правил вывода с параметрами в $\operatorname{Grz}$. На их основе найдены алгоритмы, распознающие разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистском исчислении высказываний $\operatorname{Int}$. Как следствие, получены алгоритмы, распознающие разрешимость уравнений в свободной модальной алгебре $\mathscr{F}_\omega(\operatorname{Grz})$ и свободной псевдобулевой алгебре $\mathscr{F}_\omega(\operatorname{Int})$ и строящие в случае разрешимости их решения.
Библиогр. 10.
Статья поступила: 09.11.1988
Образец цитирования:
В. В. Рыбаков, “Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике”, Сиб. матем. журн., 32:2 (1991), 140–153; Siberian Math. J., 32:2 (1991), 297–308
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj4618 https://www.mathnet.ru/rus/smj/v32/i2/p140
|
Статистика просмотров: |
Страница аннотации: | 55 | PDF полного текста: | 36 |
|