Многозначная логика

Интернет-публикация. — 2010. — 5 с. [Харьков.: Харьковский национальный университет радиоэлектроники (ХНУР), ПО ЭВМ, Белоус Наталия Валентиновна]. Впервые многозначная логика появилась в связи с отрицанием аристотелева закона исключенного третьего. В соответствии с этим законом дизъюнктивное высказывание p ∨ ¬p есть тавтология, а атомарное высказывание p в аристотелевой логике всегда либо истинно, либо ложно. Поскольку в аристотелевой логике любо...

Интернет-публикация. — 10 с. Многозначные логики представляют собой оригинальное и интересное направление в логике. Их появление часто связывают с широко известной проблемой «будущей случайности». В девятой главе трактата «Об истолковании» Аристотель ставит следующую проблему: верно ли, что относительно единичного и вместе с тем будущего события всякое утверждение или отрицание истинно или ложно? Верно ли, например, что относительно завтрашнего...

Учебник. — М.: Издательство ЛКИ, 2010. — 448 с. Классическая логика. Логические связки. Истиностные таблицы. Законы логики высказываний. Функциональная полнота. Логическое следование. Аксиоматизация. Адекватность. Историческая справка. Логика Предикатов. Интуитивное понимание многозначной логики и ее возникновение. Трехзначные логики. Трехзначная Логика Лукасевича. Модальная трехзначная логика Лукасевича. Логика Гейтинга. Логика Брауэра. Трехзнач...

Интернет-публикация. — (Автор и выходные данные неизвестны). — 33 с. В презентационной форме предложен курс лекций по многозначной логике, а также её связи с известными неклассическими логиками. Логики с неклассическим пониманием следования. Релевантная логика. Паранепротиворечивая логика. Немонотонные логики. Динамическая логика. Логики, отменяющие закон исключённого третьего. Интуиционистская логика. Конструктивная логика. Логика квантовой...

Полиномы Жегалкина и поляризованные полиномы. Реализация булевых функций обобщенными полиномами. Распознавание свойств функций, заданных полиномами. Предствление булевых функций полиномами над Z.