Книга посвящена основам релевантной логики, причинам ее появления, построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются такие формулы А, которые истинны во всех тех мирах, где постулируется верность А -> А. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы Enr, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR.

Сидоренко, Е. А. Релевантная логика (предпосылки, исчисления, семантика) / Е. А. Сидоренко. - Москва : Институт философии РАН, 2000. - 244 с. - ISBN 5-201-01925-0. - Текст : электронный. - URL: https://znanium.com/catalog/product/345461 (дата обращения: 10.07.2020). – Режим доступа: по подписке

• 260301: Логика

• 874: Логика

• 16: Логика. Теория познания. Методология и логика науки

• 47.04.01: Философия
• 40.04.01: Юриспруденция

• 02.21: Логика

• Основная коллекция ЭБС