Meu aluno Thiago me passou hoje a notícia do falecimento de Ryszard Wójcicki https://logika.net.pl/language/en/death-of-professor-ryszard-wojcicki/ Wójcicki foi um dos mais importantes lógicos da tradição polonesa do operador de consequência com teoria geral das lógicas, após a segunda guerra mundial, dando continuação aos trabalhos de Tarski, Lindenbaum, Wajsberg, Los, Suszko, ... Seu livro publicado em 1988, é uma síntese de 60 anos de desenvolvimento desta teoria. Theory of Logical Calculi - Basic Theory of Consequence Operations https://link.springer.com/book/10.1007/978-94-015-6942-2 Uma primeira versão deste livro foi publicada em 1984: Lectures on Propositional Calculi. Ossolineum, Wrocław Eu acho esta primeira versão mais aconchegante além do fato que foi escrita principalmente quando ele estava no Brasil, tal que dito o no prefácio: "Although the work on this book was concluded only after my return to Poland, the substantial part of it have been done during my stay in Brazil sponsored by FAPESP (Fundação de Amparo à Pesquisa do Estado de São Paulo, Brazil, grant no 80/1188–8). I benefited a great deal and in various ways from the opportunity to have scientific context with my Brazilian colleagues and friends. My greatest debt has been to Prof. Ayda I. Arruda, at that time the Director of Instituto de Matemática e Estatística e Ciência de Computação, Universidade Estadual de Campinas both for the care she took for creating me excellent conditions for work and for her keen and penetrating interest in the ideas I discussed in my lectures. Also I own a special debt to Prof. Newton C. A. da Costa for his invitation to Instituto de Matemática e Estatística, Universidade de São Paulo and stimulating discussions we held, and to Prof. Elias Alves for his introducing me to people from the Logical Center of UNICAMP and his assisting me on many occasions." Ver mais detalhes no meu artigo The Lvov-Warsaw School: A True Mythology https://link.springer.com/chapter/10.1007/978-3-319-65430-0_55 onde eu conto a minha primeira estadia na Polônia em 1992-93 onde comecei a usar a expressão "Universal Logic" para uma teoria geral das lógicas, continuação da teoria do operador de consequência. JYB
-- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLACOdUjNFgm0oNKnbMf3FhFASmTUOUKwOuEH%2BoEOHKwyA%40mail.gmail.com.
