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