|
Труды ордена Ленина Математического института имени В. А. Стеклова, 1968, том 98, страницы 5–25
(Mi tm2925)
|
|
|
|
Специализация формы вывода в исчислении предикатов с равенством и функциональными символами. I
В. А. Лифшиц
Аннотация:
В работе строится секвенциальный свободный от сечения вариант исчисления предикатов с равенством и функциональными символами. Доказывается ряд теорем о специализации формы вывода в этом исчислении, связанных с наложением ограничений на применения правил для равенства. Библ. 5 назв.
Образец цитирования:
В. А. Лифшиц, “Специализация формы вывода в исчислении предикатов с равенством и функциональными символами. I”, Логические и логико-математические исчисления. I, Тр. МИАН СССР, 98, 1968, 5–25; Proc. Steklov Inst. Math., 98 (1968), 1–23
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm2925 https://www.mathnet.ru/rus/tm/v98/p5
|
Статистика просмотров: |
Страница аннотации: | 217 | PDF полного текста: | 81 |
|