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

Архиереев, Николай Львович

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

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

Дата публикации в реестре: 2023-02-21T14:35:35Z

Аннотация:

Рассматривается стратегия построения естественной семантики для ряда модальных и интуиционистских систем. Смысл модальных операторов, в том числе итерированных, а также смыл интуиционистских связок выражается при помощи кластеров – конечных множеств описаний состояний для формулы. Пересчет кластеров осуществляется посредством линейных арифметических функций. Все используемые понятия являются традиционными для логики.

Ключевые слова:
кластерная семантическая, модельные системы, интуиционистские системы, возможный мир

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

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2022. № 70. С. 20-38