Электронный каталог

Бази даних

База библиотеки "Дом А.Ф. Лосева"- результати пошуку

Вид пошуку

База библиотеки "Дом А.Ф. Лосева"

Лосевский читальный зал

Газеты и журналы библиотеки "Дом А.Ф. Лосева"

Аудио и видео архив библиотеки "Дом А.Ф. Лосева"

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: <.>S=Многозначная логика<.>

Загальна кількість знайдених документів : 1

   16
   К 26

    Карпенко, Александр Степанович (1946 - ).
    Трехзначная логика Бочвара и литеральные паралогики [Текст] / А.С. Карпенко, Н.Е. Томова ; Рос. акад. наук, Ин-т философии. - Москва : Институт философии РАН, 2016. - 109, [1] с. : табл. ; 20 см. - Рез. на англ. яз. - Библиогр.: с. 92-102. - Указатели: с. 103-108. - На 4-й с. обл. авт.: Карпенко А. С., д. филос. н., проф., Томова Н. Е., к. филос. н. - 500 прим.. - ISBN 978-5-9540-0314-7

УДК

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

Скачать содержание
Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Томова, Наталья Евгеньевна; Институт философии (Москва)
Примірників всього: 1
ХР (1)
Свободны: ХР (1)
Знайти схожі

Статистика за 09.07.2024
Кількість запитів	0
Кількість відвідувачів	0
Кількість замовлень	0

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)