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

• Автор: Е.А. Сидоренко
• Издательство: ИФ РАН
• Год издания: 2000
• Обложка: мягкая обложка
• Страниц: 244
• Томов: 1
• Вес: 351 г.
• ISBN: 978-5-458-64978-0

Описание

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

Товар сертифицирован и соответствует нормам качества, безопасности и гигиены. К покупке прилагается гарантийное обязательство. Реализована накопительная система скидок, зависящая от объема прежних покупок. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Детальную информацию о сроках доставки и размере скидки вы узнаете в процессе оформления заказа. Приятных покупок.