Полное описание

Архиереев, Николай Львович. Кластерная семантика для модальной логики / Н. Л. Архиереев. - Королёв : Триада-С, 2024. - 100 с. - Библиогр.: с. 97-100 (44 назв.). - 1000 экз. - ISBN 978-5-600-03997-1. - Текст (визуальный) : непосредственный.

ГРНТИ	УДК
27.03.19	510.643

Рубрики:
Математическая логика

Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СИСТЕМЫ -- СИСТЕМА B -- СИСТЕМА ГЕЙТИНГА -- СИСТЕМА ЛЬЮИСА -- СИСТЕМА ФЕЙСА-ВРИГТА -- СИСТЕМЫ K, D
Аннотация: В современной логике одним из наиболее распространённых способов описания логической системы является её представление в виде множества формул (частично) упорядоченного отношением выводимости, или в виде некоторой алгебраической конструкции, состоящей из базисного множества ("носителя") и оператора присоединения следствий. В качестве одной из центральных задач логики при этом указывается установление различных отношений между отдельными подобными множествами и целыми семействами множеств, доказательство возможности погружения одних множеств формул в другие.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-24/22022)

Шифр в сводном ЭК: 2a74df74947077902ba31adc461db322

Заказать
Заказ фрагмента документа ₽