Кластерная семантика для некоторых модальных и интуиционистских систем

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Кластерная семантика для некоторых модальных и интуиционистских систем	672 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/1998863Х/70/2

Title: Кластерная семантика для некоторых модальных и интуиционистских систем
Title: Cluster semantics for some modal and intuitionistic systems
Creator: Архиереев, Николай Львович
Date: 2022
DOI: 10.17223/1998863Х/70/2
Description: Рассматривается стратегия построения естественной семантики для ряда модальных и интуиционистских систем. Смысл модальных операторов, в том числе итерированных, а также смыл интуиционистских связок выражается при помощи кластеров – конечных множеств описаний состояний для формулы. Пересчет кластеров осуществляется посредством линейных арифметических функций. Все используемые понятия являются традиционными для логики.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2022. № 70. С. 20-38
Language: rus