Алгебра логики — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Математи́ческая ло́гика — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Джордж Буль — английский математик и логик. Профессор математики Королевского колледжа Корка с 1849 года. Один из основателей математической логики.
А́ртур Кэ́ли — английский математик, профессор Кембриджского университета. Член Лондонского королевского общества (1852), член-корреспондент Петербургской академии наук (1870), иностранный член Парижской академии наук, Королевской академии наук и искусств Нидерландов (1893) и ряда других академий. Президент Лондонского математического общества (1868–1870). Лауреат медали Копли (1862) и медали де Моргана (1884).
Данная статья представляет собой обзор основных событий и тенденций в истории математики с древнейших времён до наших дней.
Уильям Стэнли Джевонс — английский профессор логики, философии и политической экономии. Основатель математической школы в политической экономии, один из основоположников теории предельной полезности.
Джон Венн — английский логик и философ. Он известен тем, что ввёл диаграммы Эйлера — Венна, которые используются во многих областях, таких как теория множеств, теория вероятностей, логика, статистика и информатика.
Ха́скелл Брукс Ка́рри — американский математик и логик.
Лондонское математическое общество — ведущее математическое общество в Великобритании.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Логи́ческий ве́нтиль — базовый элемент цифровой схемы, выполняющий элементарную логическую операцию, преобразуя таким образом множество входных логических сигналов в выходной логический сигнал. Логика работы вентиля основана на битовых операциях с входными цифровыми сигналами в качестве операндов. При создании цифровой схемы вентили соединяют между собой, при этом выход используемого вентиля должен быть подключён к одному или к нескольким входам других вентилей. В настоящее время в созданных человеком цифровых устройствах доминируют электронные логические вентили на базе полевых транзисторов, однако в прошлом для создания вентилей использовались и другие устройства, например, электромагнитные реле, гидравлические устройства, а также механические устройства. В поисках более совершенных логических вентилей исследуются квантовые устройства, биологические молекулы, фононные тепловые системы.
Анато́лий Ива́нович Ма́льцев — советский математик, основоположник сибирской школы алгебры и логики. Академик АН СССР (1958). Лауреат Ленинской премии.
Основа́ния матема́тики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы.
Эрнст Шрёдер — немецкий математик и логик.
Туральф Альберт Скулем — норвежский математик, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру, теорию чисел и философию математики.
Лари́са Льво́вна Макси́мова — российский математик и педагог, специалист в области математической логики, лауреат премии имени А. И. Мальцева (2009).
А́лгебра Линденба́ума — Та́рского в математической логике определяется для логической теории 
как множество классов логически равносильных предложений этой теории. Для этих классов определены обычные логические операции.
Толенды Гарифович Мустафин (1942, Мерке — 1994, Алматы) — крупный ученый-математик в области математической логики, доктор физико-математических наук, профессор, директор Института прикладной математики Национальной академии наук и Министерства образования Республики Казахстан.
Никола́й Семёнович Романо́вский — советский и российский математик, специалист по теории групп, доктор физико-математических наук, профессор, ведущий научный сотрудник Института математики им. С. Л. Соболева, известный учёный сибирской школы алгебры и логики.
Алгебра Гейтинга — импликативная решётка с наименьшим элементом 
.
Медиафайлы на Викискладе
