He was a pioneer investigator of multi-valued logics; his three-valued propositional calculus, introduced in 1917, was the first explicitly axiomatized non-classical logical calculus.
Він був піонером, відкрившим багатозначну логіку; тризначна логіка висловів, введена в 1917 році, була першою явно аксіоматизовавшою класичне логічне числення.