- алгебра вида (РW), где Рявляется множеством функций, a W - множеством операций, равносильных операциям композиции с различного рода ограничениями. Примерами П. а. являются конечнозначные и счетнозначные логики, логики неоднородных функций и т. п. Проблематика П. а. по существу совпадает с проблематикой для многозначных логик.
Лит. см. при ст. Многозначная логика. В. Б. Кудрявцев.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые… … Википедия
ЖЕГАЛКИНА АЛГЕБРА — специальная алгебра где х у операция умножения. Интерес представляет клон F действия W на Л. Каждая операция из Fпредставляется в виде полинома по mod 2, к рый наз. полиномом Жегалкина по имени И. И. Жегалкина, начавшего изучение этого клона [1] … Математическая энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Линейная функция — Примеры линейных функций. Линейная функция функция вида (для функций одной переменной). Основное свойство линейных функций: приращение функции п … Википедия
ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… … Современный философский словарь
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
Многозначная логика — раздел математической логики (См. Математическая логика), изучающий математические модели логики высказываний (См. Логика высказываний). Эти модели отражают две основные черты последней множественность значений истинности высказываний и… … Большая советская энциклопедия
