Трехзначная логика Бочвара и литеральные паралогики

Трехзначная логика Бочвара и литеральные паралогики

Год: 2016

ISBN: 978-5-9540-0314-7

Кол-во страниц: 112

Форматы:

Трехзначная логика Бочвара и литеральные паралогики

Aртикул: 46248

Издательство: ИФ РАН

Регистрация

30 секунд

Оплата

2 минуты

Получение

1 клик

Безопасность платежа
гарантирует

80 у
Чтобы получить книгу осталось лишь

Книга «Трехзначная логика Бочвара и литеральные паралогики» состоит из трех глав и посвящена изучению литеральных паралогик. Исходным пунктом предложенного исследования является трехзначная логика бессмысленности Бочвара B3, содержащая два изоморфа классической пропозициональной логики C2, комбинация которых приводит к построению двух знаменитых паралогик P1 и I1. Доказано, что эти паралогикфункционально эквивалентны и каждая функционально эквивалентна фрагменту логики B3, состоящему только из внешних формул. Построена четырехэлементная решетка трехзначных паралогик относительно обладания теми или иными парасвойствами. В заключительной главе приведена полурешетка четырехзначных литеральных паралогик относительно функционального вложения одних логик в другие.