Jerzy Słupecki


Jerzy Słupecki was a Polish mathematician and logician.

Life

He attended the seminar of, and wrote a 1938 doctorate under, Jan Łukasiewicz.
During WWII he was active in Żegota.
In 1963, when at Wroclaw University, where he had been since 1945, he became editor of Studia Logica.

Works

Słupecki 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; his work on Aristotle's logic, from 1948, was later reprinted in French.
He also continued the work of Stanisław Leśniewski, and wrote on his system in 1953, in Studia Logica. A survey, "The Logical Works of Jerzy Slupecki", appeared in Studia Logica XLVIII, by Jan Woleński and Jan Zygmunt.
He published: