везде Расширенный поиск
книги Наука, техника, медицина Гуманитарные науки Философия

Е.А. Сидоренко

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

Код 3578702

  • ISBN: 978-5-458-64978-0
Бумажная книга

Нет в продаже

Сообщить о появлении

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

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

ISBN: 978-5-458-64978-0

Вместе с этой книгой покупают

Дневник Леонардо да Винчи
Дневник Леонардо да Винчи бумажная книга
Наталья Дмитриевна...
Нет в продаже
Драматургия и режиссура, экспрессия рекламного видео
Драматургия и режиссура, экспрессия рекламного... бумажная книга
Ирина Борисовна Шубина
15.8 USD
В корзину
Вегетарианка
Вегетарианка бумажная книга
Хан Ган
Нет в продаже
Элегантные объекты. Java Edition
Элегантные объекты. Java Edition бумажная книга
Егор Бугаенко
Нет в продаже
Борн
Борн бумажная книга
Джефф Вандермеер
Нет в продаже
Хиты эпохи Сева: роман
Хиты эпохи Сева: роман бумажная книга
Рю Мураками
Нет в продаже