Аннотация: Релевантная логика

Тип книги:

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

Издательство	ИФРАН
Автор/составитель	Е.А. Сидоренко
ISBN	978-5-458-64978-0
Обложка	мягкая обложка
Вес	647г
Язык	rus

Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand компанией ООО «Книга по Требованию». Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании. Книга, произведенная по технологии Print-on-Demand (POD) представляет собой классическую печатную книгу с соблюдением всех стандартов качества, от офсетной бумаги и плотного картона до качественного клея, используемого при изготовлении. Черно-белая текстовая или полноцветная иллюстрированная книга (в зависимости от исходного файла, подготовленного к печати) может быть изготовлена в разных вариантах: - в мягкой обложке (Клеевое Бесшвейное Скрепление); - скрепление скобой (для книг с небольшим количеством страниц); - в твердом переплете с клееным текстовым блоком; Материалы, используемые при производстве книги: - бумага текстового блока - офсетная (белая или кремовая) 80 г/м2 - мягкая обложка - бумага мелованная 250 г/м2; - ламинация обложки - матовая или глянцевая; - твердый переплет - картон 2 мм, каптал, белые форзацы, прямой корешок - сверхпрочный полимерный клей; - каждая книга упакована в термопленку. Каждый заказ обрабатывается в индивидуальном порядке: каждой книге, напечатанной по технологии Print-on-Demand, присваивается уникальный номер.

Издательство	ИФРАН
Автор/составитель	Е.А. Сидоренко
ISBN	978-5-458-64978-0
Обложка	мягкая обложка
Вес	647г
Язык	rus

Бесплатная Доставка по Европе (EU)*

*Для заказов свыше 40, - евро Подробнее

Релевантная логика

-62%

Модель: PODD3358383
ISBN: 978-5-458-64978-0
Наличие: Есть в наличии

Тип книги:

Печать по требованию
Срок доставки: 30 дней

101.19€ 38.45€