Информация о книге

9785954003147

Главная  » Электронные книги, аудиокниги » Трехзначная логика Бочвара и литеральные паралогики

Карпенко А.И., Томова Н., Трехзначная логика Бочвара и литеральные паралогики

ИФ РАН, 2016 г., 112 стр., 9785954003147


Описание книги

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

Поделиться ссылкой на книгу



Содержание книги

ВВЕДЕНИЕ......5Глава 1. ТРЕХЗНАЧНАЯ ЛОГИКА БОЧВАРА B3......121.1. Трехзначные изоморфы C2......141.2. Аксиоматизация и алгебраизация B3......191.3. Функциональные свойства B3......231.4. Фрагмент B3
состоящий только из внешних формул......251.5. Класс бочваровых логик B......27Глава 2. ЛИТЕРАЛЬНЫЕ ПАРАЛОГИКИ......322.1. Паранепротиворечивость и параполнота......322.2. Логика Приста LP и логика PCont......352.3. Паранепротиворечивая логика P1......372.4. Параполная логика I1......402.5. Взаимоотношения P1 и I1......422.6. Литеральные паралогики. LPP-матрицы......462.7. Сильная и слабая формулировки правила modus ponens......562.8. Решетка трехзначных паралогик......60Глава 3. ОБОБЩЕНИЯ И ИЕРАРХИИ ЛИТЕРАЛЬНЫХ ПАРАЛОГИК......633.1. Метод построения паралогик посредством комбинирования изоморфов классической логики C2......653.2. Метод построения паралогик посредством литеральных параматриц......793.3. Метод построения паралогик посредством ведения понятия квазиэлементарной формулы......86СПИСОК ЛИТЕРАТУРЫ......92ИМЕННОЙ УКАЗАТЕЛЬ......103ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ......105



Об авторе

Карпенко А.И.

Томова Н.


Последние поступления в рубрике "Электронные книги, аудиокниги"



Tod eines Soldaten Tod eines Soldaten Klinkhammer ".
Seltene Hunderassen aus aller Welt Seltene Hunderassen aus aller Welt Frey F.
Vulpes Lupus Canis Gajaze K.

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Карпенко А.И., Томова Н., Трехзначная логика Бочвара и литеральные паралогики в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.