Какие ученые способствовали дальнейшему развитию алгебры логики?

Некоторые учёные, которые способствовали дальнейшему развитию алгебры логики:

• Огастес де Морган. www.frccsc.ru prezi.com В работе «Формальная логика» изложил элементы логики высказываний и основы алгебры отношений. www.frccsc.ru Сформулировал основные принципы логики высказываний и логики классов. prezi.com
• Чарльз Сандерс Пирс. www.frccsc.ru Занимался развитием алгебры отношений и символической логики в целом. www.frccsc.ru Сформулировал законы материальной импликации. prezi.com
• Джонн Венн. www.frccsc.ru Основной задачей считал создание языка для записи процесса логического исчисления. www.frccsc.ru Его именем названы диаграммы, используемые для наглядного отображения логических выражений и решения логических задач. www.frccsc.ru
• Эрнст Шрёдер. www.frccsc.ru Разработал полную систему аксиом логического исчисления, что впоследствии стало булевой алгеброй. www.frccsc.ru Ему же принадлежат термины «логическое исчисление» и «исчисление высказываний». www.frccsc.ru
• П. С. Порецкий. web.archive.org Обобщил достижения Буля, Джевонса и Шрёдера и создал труд «О способах решения логических равенств и об обратном способе математической логики», в котором значительно продвинул вперёд разработку аппарата алгебры логики. web.archive.org
• Готлиб Фреге. prezi.com Заложил основы логической семантики. prezi.com В своей фундаментальной работе «Основные законы арифметики» построил систему формализованной арифметики на основе разработанного им расширенного исчисления предикатив с целью обоснования идеи о сведении математики к логике. prezi.com
• Давид Гильберт. prezi.com Достиг значительных успехов в применении метода формализации в толковании логических умозаключений, в разработке исчисления высказываний и предикатив, в исследовании аксиоматизации знаний. prezi.com