Аксиоматизация логики для кросс-мировой предикации
В нескольких недавних публикациях я описал логику CWPL, предназначенную для моделирования рассуждений, содержащих кросс-мировую предикацию. Семантическая специфика этой логики состоит в том, что она базируется на кросс-мировой интерпретации предикатов. Для CWPL и ряда ее модификаций существуют и...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 88. С. 22-29 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001275070 Перейти в каталог НБ ТГУ |
| Итог: | В нескольких недавних публикациях я описал логику CWPL, предназначенную для моделирования рассуждений, содержащих кросс-мировую предикацию. Семантическая специфика этой логики состоит в том, что она базируется на кросс-мировой интерпретации предикатов. Для CWPL и ряда ее модификаций существуют исчисления генценовского типа. В данной статье предложено исчисление гильбертовского типа для одной из модификаций CWPL и предложена модификация метода канонических моделей для доказательства ее полноты. |
|---|---|
| Библиография: | Библиогр.: 10 назв. |
| ISSN: | 1998-863x |