Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц

Релевантная логика (предпосылки, исчисления, семантика)

Доступ по подписке только в составе Коллекции

Релевантная логика (предпосылки, исчисления, семантика)

Нет доступа
Основная коллекция
Издательство: Институт философии РАН
Вид издания: Монография
Уровень образования: ВО - Магистратура
Год издания
2000
Кол-во страниц
244
ISBN
5-201-01925-0
Артикул
612544.01.99
Аннотация
Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А -> А. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы Enr, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR.
Библиографическая запись Скопировать запись
Сидоренко, Е. А. Релевантная логика (предпосылки, исчисления, семантика) / Е. А. Сидоренко. - Москва : Институт философии РАН, 2000. - 244 с. - ISBN 5-201-01925-0. - Текст : электронный. - URL: https://znanium.com/catalog/product/345461 (дата обращения: 10.07.2020). – Режим доступа: по подписке