ポーランド記法
アリストテレス論理学に関する研究、多値論理に関する研究等が有名。また、式の記法であるいわゆる「ポーランド記法」は、彼の発案によるものである。