О некоторых теоремах теории дельта
Электронный научный архив УРФУ
Информация об архиве | Просмотр оригинала| Поле | Значение | |
| Заглавие |
О некоторых теоремах теории дельта
On some theorems of ? theory |
|
| Автор |
Ольховиков, Г. К.
Olkhovikov, G. K. |
|
| Тематика |
SECOND-ORDER LOGIC
CONSISTENCY THEOREMS ВТОРОПОРЯДКОВАЯ ЛОГИКА НЕПРОТИВОРЕЧИВОСТЬ ТЕОРЕМЫ |
|
| Описание |
The paper concerns second-order theory ?, constructed by the author as a part of his project on providing deontic logic with a safe foundation. The theory is proved to be consistent, and a number of theorems providing an insight into the general structure of its models is deduced.
В статье рассматривается второпорядковая теория ?, построенная автором в рамках развиваемого им проекта по обоснованию деонтической логики. Доказывается непротиворечивость теории, после чего выводится ряд ее теорем, позволяющих лучше понять общую структуру ее моделей. |
|
| Дата |
2013-05-16T13:10:10Z
2013-05-16T13:10:10Z 2010 |
|
| Тип |
Article
Journal article (info:eu-repo/semantics/article) Published version (info:eu-repo/semantics/publishedVersion) |
|
| Идентификатор |
Ольховиков Г. К. О некоторых теоремах теории дельта / Г. К. Ольховиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. — 2010. — N 4 (83). — С. 5-14.
iuro10_no4_ss5_ad1 http://elar.urfu.ru/handle/10995/18345 https://elibrary.ru/item.asp?id=15549059 |
|
| Язык |
ru
|
|
| Связанные ресурсы |
Известия Уральского государственного университета. Сер. 3, Общественные науки. 2010. N 4 (83)
|
|
| Формат |
application/pdf
|
|