Wojciech Dzik (Uniwersytet Śląski w Katowicach), Witold Adam Pogorzelski (1927-2018), logik i matematyk