Логика для кросс-мировой предикации: теория доказательства
В одной из недавних публикаций я представил синтаксис и семантику логики CWPL, решающей проблему кросс-мировой предикации. В данной статье описана упрощенная версия этой логики (CWPL0), предложена табличная теория доказательства для нее и показана корректность и полнота этой теории относительно соот...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 79. С. 5-16 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001143612 |
| Итог: | В одной из недавних публикаций я представил синтаксис и семантику логики CWPL, решающей проблему кросс-мировой предикации. В данной статье описана упрощенная версия этой логики (CWPL0), предложена табличная теория доказательства для нее и показана корректность и полнота этой теории относительно соответствующей семантики. Кроме того, показано, как данная теория доказательства может быть трансформирована в теорию доказательства для CWPL. |
|---|---|
| Библиография: | Библиогр.: 8 назв. |
| ISSN: | 1998-863x |