Поиск :
Личный кабинет :
Электронный каталог: Карпенко, А. С. - Трехзначная логика Бочвара и литеральные паралогики
Карпенко, А. С. - Трехзначная логика Бочвара и литеральные паралогики
Нет экз.
Электронный ресурс
Автор: Карпенко, А. С.
Трехзначная логика Бочвара и литеральные паралогики : монография
Издательство: Институт философии РАН, 2016 г.
ISBN 978-5-9540-0314-7
Автор: Карпенко, А. С.
Трехзначная логика Бочвара и литеральные паралогики : монография
Издательство: Институт философии РАН, 2016 г.
ISBN 978-5-9540-0314-7
На полку
Электронный ресурс
Карпенко, А. С.
Трехзначная логика Бочвара и литеральные паралогики : монография. – Москва : Институт философии РАН, 2016. – 112 с. – URL: https://biblioclub.ru/index.php?page=book&id=483133. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр.: с. 92-102. – На рус. яз. – ISBN 978-5-9540-0314-7.
Книга «Трехзначная логика Бочвара и литеральные паралогики» состоит из трех глав и посвящена изучению литеральных паралогик. Исходным пунктом предложенного исследования является трехзначная логика бессмысленности Бочвара B3, содержащая два изоморфа классической пропозициональной логики C2, комбинация которых приводит к построению двух знаменитых паралогик P1 и I1. Доказано, что эти паралогикфункционально эквивалентны и каждая функционально эквивалентна фрагменту логики B3, состоящему только из внешних формул. Построена четырехэлементная решетка трехзначных паралогик относительно обладания теми или иными парасвойствами. В заключительной главе приведена полурешетка четырехзначных литеральных паралогик относительно функционального вложения одних логик в другие.
164.03
510.644
Карпенко, А. С.
Трехзначная логика Бочвара и литеральные паралогики : монография. – Москва : Институт философии РАН, 2016. – 112 с. – URL: https://biblioclub.ru/index.php?page=book&id=483133. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр.: с. 92-102. – На рус. яз. – ISBN 978-5-9540-0314-7.
Книга «Трехзначная логика Бочвара и литеральные паралогики» состоит из трех глав и посвящена изучению литеральных паралогик. Исходным пунктом предложенного исследования является трехзначная логика бессмысленности Бочвара B3, содержащая два изоморфа классической пропозициональной логики C2, комбинация которых приводит к построению двух знаменитых паралогик P1 и I1. Доказано, что эти паралогикфункционально эквивалентны и каждая функционально эквивалентна фрагменту логики B3, состоящему только из внешних формул. Построена четырехэлементная решетка трехзначных паралогик относительно обладания теми или иными парасвойствами. В заключительной главе приведена полурешетка четырехзначных литеральных паралогик относительно функционального вложения одних логик в другие.
164.03
510.644