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