|
Записки научных семинаров ПОМИ, 2008, том 358, страницы 251–270
(Mi znsl2154)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Logical equations in monadic logic
[Логические уравнения в логике одноместных предикатов]
G. Mints, T. Hoshi Department of Philosophy, Stanford University
Аннотация:
Логическую формулу $F(\mathbf X,\mathbf P)$ можно рассматривать как уравнение на предикаты $\mathbf X$ с решениями $\mathbf X_0(\mathbf P)$, зависящими от параметров $\mathbf P$ (если уравнение разрешимо). Дж. Маккарти рассмотрел параметризацию решений, описал общее решение в пропозициональном случае и сформулировал проблему для более сильных логик. Мы находим общее решение для формул исчисления предикатов первого порядка с одноместными предикатами и равенством. Решения получаются методом элиминации кванторов и параметризуются $\epsilon$-термами. Библ. – 10 назв.
Поступило: 08.08.2007
Образец цитирования:
G. Mints, T. Hoshi, “Logical equations in monadic logic”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 251–270
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2154 https://www.mathnet.ru/rus/znsl/v358/p251
|
Статистика просмотров: |
Страница аннотации: | 230 | PDF полного текста: | 88 | Список литературы: | 41 |
|