|
|
|
|
| LEADER |
02151nab a2200289 c 4500 |
| 001 |
koha001015097 |
| 005 |
20231201153401.0 |
| 007 |
cr | |
| 008 |
231129|2023 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/1998863Х/75/1
|2 doi
|
| 035 |
|
|
|a koha001015097
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Архиереев, Николай Львович
|
| 245 |
1 |
0 |
|a Принципы построения кластерной семантики для основных нормальных модальных систем
|c Н. Л. Архиереев
|
| 246 |
1 |
1 |
|a Principles of construction of cluster semantics for the main normal modal systems
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 8 назв.
|
| 520 |
3 |
|
|a Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров – конечных множеств описаний состояний и их систем, выполняющих роль модельных структур семантик возможных миров. Исчерпывающий пересчет кластеров обеспечивается элементарными арифметическими функциями. При построении семантики используются только традиционные для логики понятия.
|
| 653 |
|
|
|a кластерная семантика
|
| 653 |
|
|
|a модальные операторы
|
| 655 |
|
4 |
|a статьи в журналах
|
| 773 |
0 |
|
|t Вестник Томского государственного университета. Философия. Социология. Политология
|d 2023
|g № 75. С. 5-20
|x 1998-863x
|w 0210-41760
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001015097
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1015097
|d 1015097
|
