10 articles
Alfred Horn
Alfred Horn (1918–2001) was an American mathematician who spent his career at UCLA and whose 1951 paper identified Horn clauses, the foundation of the programming language Prolog.
Edward Vermilye Huntington
Edward Vermilye Huntington (1874–1952) was an American Harvard mathematician, a central figure in American postulate theory, whose Huntington–Hill method has apportioned US House seats since 1941.
Ernst Schröder (mathematician)
Ernst Schröder (1841–1902) was a German mathematician whose three-volume Vorlesungen über die Algebra der Logik (1890–1905) gave the first abstract lattice theory and the most comprehensive calculus of relations.
Grigore Moisil
Grigore Moisil (1906-1973) was a Romanian mathematician and computer scientist, considered the father of Romanian informatics, who founded Romania's first computing center and introduced the Łukasiewicz-Moisil algebras in many-valued logic.
Helena Rasiowa
Helena Rasiowa (1917–1994) was a Polish mathematician and logician who established algebraic methods for studying classical, intuitionistic, modal, and many-valued logics, heading mathematical logic at the University of Warsaw.
Henry M. Sheffer
Henry M. Sheffer (1882–1964) was an American logician at Harvard who showed in 1913 that all of propositional logic can be built from a single connective, the Sheffer stroke.
Joachim Lambek
Joachim (Jim) Lambek (1922–2014) was a German-born Canadian mathematician at McGill University who founded the Lambek calculus and became a central figure in category theory.
Robert P. Dilworth
Robert P. Dilworth, also known as Robert Palmer Dilworth, was an American mathematician at Caltech whose 1950 Dilworth's theorem became central to combinatorics and lattice theory.
Roman Sikorski
Roman Sikorski (1920–1983) was a Polish mathematician at the University of Warsaw and the Polish Academy of Sciences, known for the Loomis–Sikorski theorem, the Sikorski extension theorem, and the Rasiowa–Sikorski lemma.
Stanley R. Petrick
Stanley R. Petrick was an American researcher at IBM and the Air Force Cambridge Research Center, known for Petrick's method in Boolean minimization and a 1965 MIT dissertation on transformational grammars.