Дата публикации: 2024

Дата публикации в реестре: 2024-10-01T21:23:31Z

Аннотация:

В одной из недавних публикаций я представил синтаксис и семантику логики CWPL, решающей проблему кросс-мировой предикации. В данной статье описана упрощенная версия этой логики (CWPL0), предложена табличная теория доказательства для нее и показана корректность и полнота этой теории относительно соответствующей семантики. Кроме того, показано, как данная теория доказательства может быть трансформирована в теорию доказательства для CWPL.

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 79. С. 5-16