Вход

Статья: БАЗИС ГЛОБАЛЬНО ДОПУСТИМЫХ ПРАВИЛ ЛОГИКИ S4

Скачать

Задание базовых правил вывода имеет фундаментальное значение для логики. Наиболее общим вариантом возможных правил вывода являются допустимые правила вывода: в логике

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

Формат документа: PDF
Кол-во страниц: 1 страница
Загрузил(а): Римацкий Виталий
Лицензия: —
Доступ: Всем
Просмотров: 1

Предпросмотр документа

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

ISSN: 1997-7670
EISSN: 2541-8785
Журнал: ИЗВЕСТИЯ ИРКУТСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. СЕРИЯ: МАТЕМАТИКА
Год публикации: 2024
Автор(ы): Римацкий В. В.
Ключевые фразы: модальная логика, фрейм и модель крипке, допустимое правило вывода, глобально допустимые правила вывода
УДК: 510.643. Модальные логики (и исчисления модальных логик)
517.1. Введение в анализ

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

01. Статья: ОТ МИРА ВОСПРИЯТИЯ - К ФЕНОМЕНОЛОГИИ СПОСОБНОСТЕЙ

02. Статья: Гармонизация определения инсектицидных субстанций для целей контроля производства и мониторинга готовых композиций. VII. Летучие пиретроиды (пластины, жидкости для фумигаторов, спирали)

03. Статья: ТРАНСЭПОХАЛЬНЫЕ КОЛЕБАНИЯ ДЛИНЫ ТЕЛА В РАЗЛИЧНЫХ РЕГИОНАХ ЕВРОПЫ ОТ ВЕРХНЕГО ПАЛЕОЛИТА ДО СРЕДНИХ ВЕКОВ (ПО ПАЛЕОАНТРОПОЛОГИЧЕСКИМ ДАННЫМ)

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

05. Статья: ПРОБЛЕМНЫЕ ВОПРОСЫ, СВЯЗАННЫЕ С РЕАЛИЗАЦИЕЙ АДВОКАТОМ ПОЗИЦИИ В ВЫСТУПЛЕНИЯХ СТОРОН ПРИ ПРОИЗВОДСТВЕ В СУДЕ С УЧАСТИЕМ ПРИСЯЖНЫХ ЗАСЕДАТЕЛЕЙ

06. Книга: Барьер выносливости летчика

07. Статья: СЕВЕРНЫЙ ЛЕДОВИТЫЙ ОКЕАН. РУССКИЕ ГЕОГРАФИЧЕСКИЕ НАЗВАНИЯ КАК ОБЪЕКТЫ НЕМАТЕРИАЛЬНОГО КУЛЬТУРНОГО НАСЛЕДИЯ

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

09. Статья: АНАЛИТИЧЕСКАЯ ИДЕНТИФИКАЦИЯ МАШИНОСТРОИТЕЛЬНЫХ ДЕТАЛЕЙ С ПОМОЩЬЮ R-ФУНКЦИЙ

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