[Logica-l] CFA: The First Brazilian Workshop on Algebraic Logic, São Paulo, Oct. 10-11, 2024

[Please distribute. Apologies for multiple postings] The First Brazilian Workshop on Algebraic Logic October 10-11, 2024, São Paulo https://sites.google.com/view/algebraiclogic/ The São Paulo Research Foundation has among its expansive policies the promotion of new l

[Logica-l] a catraca nas cataratas

A EVOLUÇÃO DA LÓGICA MODERNA DO PONTO DE VISTA DA CATRACA O símbolo “⊦” é o mais famoso da lógica moderna e foi criado por Frege. É hoje usado em vários sentidos bem diferentes do seu sentido original. Esta palestra visa a considerar a lógica moderna e a sua história em seus múltiplos aspectos