|
|
|
|
| LEADER |
02541nab a2200313 c 4500 |
| 001 |
koha001006871 |
| 005 |
20240227155127.0 |
| 007 |
cr | |
| 008 |
230927|2023 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/1998863Х/74/2
|2 doi
|
| 035 |
|
|
|a koha001006871
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Ламберов, Лев Дмитриевич
|
| 245 |
1 |
0 |
|a К вопросу об особенностях CPL
|c Л. Д. Ламберов
|
| 246 |
1 |
1 |
|a On the features of CPL
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 520 |
3 |
|
|a Стандартной семантикой для первопорядковых модальных логик является семантика возможных миров. Последняя обычно формулируется таким образом, что не позволяет адекватно анализировать выражения, содержащие сравнения объектов, ассоциированных с разными возможными мирами. В статье обсуждаются один из вариантов расширения стандартной семантики возможных миров и соответствующая ему логика кроссмировой предикации (CPL), предложенные Е.В. Борисовым. Рассматриваются особенности CPL в случае одномировой и кроссмировой предикации, а также выявляются факторы, оказывающие влияние на истинность формул. Учет этих факторов в дальнейшем позволит построить подходящие исчисления: натуральное, секвенциальное и аксиоматическое.
|
| 653 |
|
|
|a кроссмировая предикация
|
| 653 |
|
|
|a модальная логика
|
| 653 |
|
|
|a квантификация
|
| 653 |
|
|
|a модальность
|
| 653 |
|
|
|a семантика
|
| 655 |
|
4 |
|a статьи в журналах
|
| 773 |
0 |
|
|t Вестник Томского государственного университета. Философия. Социология. Политология
|d 2023
|g № 74. С. 17-24
|x 1998-863x
|w 0210-41760
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001006871
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1006871
|d 1006871
|
