Артикул: 46248

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

Автор: Карпенко А. С. , Томова Н. Е.

Год: 2016

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

Место издания: Москва

ISBN: 978-5-9540-0314-7

Страниц: 112

Форматы: PDF

цена: 80 руб.

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

ВВЕДЕНИЕ
Глава 1. ТРЕХЗНАЧНАЯ ЛОГИКА БОЧВАРА B3
1.1. Трехзначные изоморфы C2
1.2. Аксиоматизация и алгебраизация B3
1.3. Функциональные свойства B3
1.4. Фрагмент B3, состоящий только из внешних формул
1.5. Класс бочваровых логик B
Глава 2. ЛИТЕРАЛЬНЫЕ ПАРАЛОГИКИ
2.1. Паранепротиворечивость и параполнота
2.2. Логика Приста LP и логика PCont
2.3. Паранепротиворечивая логика P1
2.4. Параполная логика I1
2.5. Взаимоотношения P1 и I1
2.6. Литеральные паралогики. LPP-матрицы
2.7. Сильная и слабая формулировки правила modus ponens
2.8. Решетка трехзначных паралогик
Глава 3. ОБОБЩЕНИЯ И ИЕРАРХИИ ЛИТЕРАЛЬНЫХ ПАРАЛОГИК
3.1. Метод построения паралогик посредством комбинирования изоморфов классической логики C2
3.2. Метод построения паралогик посредством литеральных параматриц
3.3. Метод построения паралогик посредством ведения понятия квазиэлементарной формулы
СПИСОК ЛИТЕРАТУРЫ
ИМЕННОЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите