Jerzy Słupecki

Jerzy Słupecki (1904 to 1987) was a Polish mathematician and logician. He attended the seminar of Jan Łukasiewicz and wrote a doctorate under him in 1938. During the Second World War he was active in Żegota. From 1945 he was at the University of Wrocław, where in 1963 he became editor of the journal Studia Logica. He showed how the many-valued logics of Łukasiewicz could be included in the theory of Post systems and gave a functionally complete version of the three-valued logic. In the logic of categorical sentences he found a rule that made the theory decidable, and he continued the work of Stanisław Leśniewski on protothetics. He published Elements of Mathematical Logic and Set Theory in 1967.