Аксиоматизация логики для кросс-мировой предикации
В нескольких недавних публикациях я описал логику 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 Перейти в каталог НБ ТГУ |