|
Известия Академии наук СССР. Серия математическая, 1990, том 54, выпуск 6, страницы 1331–1341
(Mi im1048)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний
В. В. Рыбаков Красноярский государственный университет
Аннотация:
В работе исследуется проблема распознавания допустимости правил вывода обобщенного вида – правил вывода с параметрами – в интуиционистском исчислении высказываний. Найдены алгоритмический и семантический критерии распознавания допустимости таких правил, основанные на специальных интуиционистских моделях Крипке. В частности, получено решение проблемы Фридмана, обобщенной на случай правил вывода с параметрами. Получены приложения к распознаванию разрешимости логических уравнений и построению их решений.
Поступило в редакцию: 06.02.1989
Образец цитирования:
В. В. Рыбаков, “Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний”, Изв. АН СССР. Сер. матем., 54:6 (1990), 1331–1341; Math. USSR-Izv., 37:3 (1991), 693–703
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im1048 https://www.mathnet.ru/rus/im/v54/i6/p1331
|
Статистика просмотров: |
Страница аннотации: | 263 | PDF русской версии: | 101 | PDF английской версии: | 16 | Список литературы: | 47 | Первая страница: | 2 |
|