Jerzy Słupecki

Jerzy Słupecki (1904–1987) was a Polish mathematician and logician.

Jerzy Słupecki

Life

He attended the seminar of, and wrote a 1938 doctorate under, Jan Łukasiewicz.^[1][2]

During WWII he was active in Żegota.^[3]

In 1963, when at Wroclaw University, where he had been since 1945, he became editor of Studia Logica.^[4][5]

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.^[6] In the logic of categorical sentences, he found a rule that made the theory decidable;^[7] his work on Aristotle's logic, from 1948, was later reprinted in French.^[8]

He also continued the work of Stanisław Leśniewski, and wrote on his system ("protothetics") in 1953, in Studia Logica.^[9][10] A survey, "The Logical Works of Jerzy Slupecki", appeared in Studia Logica XLVIII (1989), by Jan Woleński and Jan Zygmunt.^[11]

He published:

• Z zagadnień logiki i filozofii: pisma wybrane (1961, editor), selected works of Jan Łukasiewicz^[12]
• Elements of Mathematical Logic and Set Theory (1967)^[13]