Книга Релевантная логика (Предпосылки Исчисления Семантика) (Сидоренко Евгений Александрович), 2013

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

Развернуть фото

Смотри также о книге.

Основные характеристики товара

Параметр	Значение
Автор(ы)	Сидоренко Евгений Александрович
Автор	Сидоренко Евгений Александрович
Вес	0.663
Возрастное ограничение	12+
Год издания	2013
Жанр	история
Издательство	ИФРАН
Количество страниц	244
Тип обложки	мягкая
Формат	Русский