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

Скачать

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

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

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

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

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

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

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

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

01. Книга: Технология производства продукции животноводства

02. Книга: Авиационные системы антиюзовой автоматики

03. Статья: Некоторые закономерности изменения стандартных энтальпий образования соединений системы AIIIBV

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

05. Книга: Технология и технохимический контроль хлебопекарного производства

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

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

08. Книга: Немецкая разговорная речь. Синтаксис и лексика

Будьте первым, кто начнет обсуждение

Если у вас возникли вопросы или появились предложения по содержанию статьи, пожалуйста, направляйте их в рамках данной темы.

Создать тему для обсуждения

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

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

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

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

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

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

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

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

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

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