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