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
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
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