Статья: НОРМАЛЬНЫЕ НАПАРНИКИ ИНТУИЦИОНИСТСКИХ МОДАЛЬНЫХ ЛОГИК

Скачать

Ранее К. Дошен и М. Божич ввели четыре независимые интуиционистские модальные логики - по одной для каждого из четырёх типов модальных операторов: необходимости N, возможности P, невозможности Im и не-необходимости Un. Эти логики обозначаются HKM, где M∈{N,P,Un,Im}. Интерес к тому, чтобы рассматривать четыре типа модальных операторов по отдельности, связан именно с тем, что над интуиционистской логикой они не могут быть сведены друг к другу. Здесь изучаются расширения логик HKM, у которых есть нормальные напарники. Оказывается, что нормальные напарники есть у всех расширений логик HKN и HKUn. Для расширений HKP и HKIm получен критерий существования нормальных напарников, который заключается в присутствии некоторого модального закона двойного отрицания. Также показывается, как добавление этого закона влияет на выразительные возможности логики. Особый интерес представляет результат о том, что расширения HKP и HKIm имеют нормальных напарников, только если они дефинициально эквивалентны расширениям HKN и HKUn соответственно. Этот результат является ещё одним примером различия в поведении четырёх типов модальных операторов над интуиционистской логикой.

Информация о документе

Формат документа: PDF
Кол-во страниц: 1 страница
Загрузил(а): ДРОБЫШЕВИЧ Сергей Андреевич
Лицензия: —
Доступ: Всем

Информация о статье

ISSN: 0373-9252
Префикс DOI: 10.33048/alglog.2022.61.601
Журнал: АЛГЕБРА И ЛОГИКА
Год публикации: 2022
Автор(ы): ДРОБЫШЕВИЧ С. А.
Ключевые фразы: ИНТУИЦИОНИСТСКАЯ МОДАЛЬНАЯ ЛОГИКА, НОРМАЛЬНЫЙ НАПАРНИК, МОДАЛЬНЫЙ ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ
УДК: 510.643. Модальные логики (и исчисления модальных логик)

Статистика просмотров

Статистика просмотров статьи за 2025 год.

Ранее вы смотрели (10)

01. Статья: ИССЛЕДОВАНИЕ ПЕРЕХОДНЫХ ХАРАКТЕРИСТИК БАЛКИ НА ЭЛАСТИЧНОМ ПОЛИМЕРНОМ ОСНОВАНИИ

02. Статья: ВЛИЯНИЕ КЛИМАТИЧЕСКИХ И АНТРОПОГЕННЫХ ФАКТОРОВ НА ЭКОЛОГИЧЕСКОЕ СОСТОЯНИЕ ГИПЕРСОЛЕНОГО ОЗЕРА ГАЛГАСС В ПЕРИОД 2017-2022 (РЕСПУБЛИКА КРЫМ)

03. Статья: УГОЛОВНО-ПРАВОВАЯ ОХРАНА НОРМАЛЬНОЙ ДЕЯТЕЛЬНОСТИ УЧРЕЖДЕНИЙ, ОБЕСПЕЧИВАЮЩИХ ИЗОЛЯЦИЮ ОТ ОБЩЕСТВА: ПРОБЛЕМЫ ЗАКОНОДАТЕЛЬНОГО СОВЕРШЕНСТВОВАНИЯ

04. Статья: ПРОДУКТИВНОСТЬ НОВЫХ СОРТОВ КАРТОФЕЛЯ УРАЛЬСКОЙ СЕЛЕКЦИИ В ЗАВИСИМОСТИ ОТ УРОВНЯ МИНЕРАЛЬНОГО ПИТАНИЯ И СХЕМЫ ПОСАДКИ

05. Книга: Примеры и задачи по химии высокомолекулярных соединений

06. Статья: ПРЕСТУПНАЯ ИЕРАРХИЯ КАК КОРРУПЦИОННЫЙ ФАКТОР

07. Статья: UNET-BOOSTED CLASSIFIER - МУЛЬТИЗАДАЧНАЯ АРХИТЕКТУРА ДЛЯ МАЛЫХ ВЫБОРОК НА ПРИМЕРЕ КЛАССИФИКАЦИИ МРТ СНИМКОВ ГОЛОВНОГО МОЗГА

08. Книга: Космические рубежи теории относительности

09. Статья: ПОДХОДЫ К СОВЕРШЕНСТВОВАНИЮ ЧИТАТЕЛЬСКИХ УМЕНИЙ ШКОЛЬНИКОВ ПРИ ОСВОЕНИИ СОДЕРЖАНИЯ УЧЕБНОГО ПРЕДМЕТА "ЛИТЕРАТУРА" В ОСНОВНОЙ ШКОЛЕ

10. Статья: МУС вопиющего в степи: решение по Монголии

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

Сайт носит исключительно информационно-справочный характер. Администрация Сайта не несет ответственности за содержание и достоверность информации, добавленной пользователями, а также за любые убытки, возникшие в связи с использованием или невозможностью использования Сайта и размещенной на нем информации.