Описание
Характеристики
Отзывы
Описание
Печатная книга «Релевантная логика, (предпосылки, исчисления, семантика)» в мягкой обложке, язык - русский. В книге 244 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 205x280 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
Книга посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех возможных мирах, а семантически истинными оказываются только такие формулы A, которые истинны во всех тех мирах, где постулируется верность A ->A. Предлагаемая семантика адаптирована для известных релевантных исчислений E, R и NR, а также авторской системы ENR, непосредственно формализующей необходимую импликацию, описываемую в исчислении NR. В работе дается универсальная формулировка теоремы дедукции, пригодная для всех логических исчислений, замкнутых относительно правила modus ponens.
Эта книга — репринт оригинального издания 2000 года, созданный на основе электронной копии высокого разрешения, которую очистили и обработали вручную, сохранив структуру и орфографию оригинального издания. Редкие, забытые и малоизвестные книги, изданные с петровских времен до наших дней, вновь доступны в виде печатных книг.
Характеристики
Язык
Русский
Формат
205x280
Период издания оригинала
1990-2000
Отзывы
Отзывов еще никто не оставлял
