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

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