|
|
|
|
| LEADER |
02193nab a2200313 c 4500 |
| 001 |
koha001143612 |
| 005 |
20240916125445.0 |
| 007 |
cr | |
| 008 |
240913|2024 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/1998863Х/79/1
|2 doi
|
| 035 |
|
|
|a koha001143612
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Борисов, Евгений Васильевич
|c философ
|
| 245 |
1 |
0 |
|a Логика для кросс-мировой предикации: теория доказательства
|c Е. В. Борисов
|
| 246 |
1 |
1 |
|a A proof theory for a logic for crossworld predication
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 8 назв.
|
| 520 |
3 |
|
|a В одной из недавних публикаций я представил синтаксис и семантику логики CWPL, решающей проблему кросс-мировой предикации. В данной статье описана упрощенная версия этой логики (CWPL0), предложена табличная теория доказательства для нее и показана корректность и полнота этой теории относительно соответствующей семантики. Кроме того, показано, как данная теория доказательства может быть трансформирована в теорию доказательства для CWPL.
|
| 653 |
|
|
|a модальная логика первого порядка
|
| 653 |
|
|
|a кросс-мировая предикация
|
| 653 |
|
|
|a семантика
|
| 653 |
|
|
|a табличная теория доказательства
|
| 655 |
|
4 |
|a статьи в журналах
|
| 773 |
0 |
|
|t Вестник Томского государственного университета. Философия. Социология. Политология
|d 2024
|g № 79. С. 5-16
|x 1998-863x
|w 0210-41760
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001143612
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1143612
|d 1143612
|
