|
Вестник Московского университета. Серия 1: Математика. Механика, 2007, номер 4, страницы 72–76
(Mi vmumm1070)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Краткие сообщения
Выводимость допустимых правил с простыми посылками в исчислении Ламбека
А. Н. Сафиуллин
Аннотация:
Описывается методика доказательства того, что любое допустимое в базовом исчислении Ламбека $\mathrm{L}$ правило с посылкой, состоящей из конечного числа простых, т.е. не содержащих связок, секвенций, является выводимым.
Библиогр. 5.
Поступила в редакцию: 11.10.2006
Образец цитирования:
А. Н. Сафиуллин, “Выводимость допустимых правил с простыми посылками в исчислении Ламбека”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2007, № 4, 72–76
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm1070 https://www.mathnet.ru/rus/vmumm/y2007/i4/p72
|
Статистика просмотров: |
Страница аннотации: | 60 | PDF полного текста: | 38 |
|