Кластерная семантика для некоторых модальных и интуиционистских систем Н. Л. Архиереев
Material type:
ArticleContent type: Текст Media type: электронный Other title: Cluster semantics for some modal and intuitionistic systems [Parallel title]Subject(s): кластерная семантическая | модельные системы | интуиционистские системы | возможный мирGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Философия. Социология. Политология № 70. С. 20-38Abstract: Рассматривается стратегия построения естественной семантики для ряда модальных и интуиционистских систем. Смысл модальных операторов, в том числе итерированных, а также смыл интуиционистских связок выражается при помощи кластеров – конечных множеств описаний состояний для формулы. Пересчет кластеров осуществляется посредством линейных арифметических функций. Все используемые понятия являются традиционными для логики.
Библиогр.: 10 назв.
Рассматривается стратегия построения естественной семантики для ряда модальных и интуиционистских систем. Смысл модальных операторов, в том числе итерированных, а также смыл интуиционистских связок выражается при помощи кластеров – конечных множеств описаний состояний для формулы. Пересчет кластеров осуществляется посредством линейных арифметических функций. Все используемые понятия являются традиционными для логики.
There are no comments on this title.