Criterion of Global Admissibility for Logic IPC - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Критерий глобальной допустимости в логике IPC

Rimatskiy, Vitaliy V., Римацкий, Виталий В.

Дата публикации: 2023-10

Дата публикации в реестре: 2024-03-01T16:49:34Z

Аннотация:

В работе исследуется глобальная допустимость правил вывода в интуиционистской пропозициональной логике IPC

Ключевые слова:
modal logic, frame and model Kripke, admissible and globally admissible infere, модальная логика, фрейм и модель Крипке, допустимое правило вывода, глобально допустимые правила вывода

Тип: Journal Article

Связанные документы (рекомендация CORE)