Dear Cheerful Logicians: (thanks Shay, I loved it!) This is to inform that the talk "Remarks on a nice theorem of Monsieur Glivenko" by Itala M. L. Loffredo D' Ottaviano is now available at the CLE channel on Youtube
https://www.youtube.com/watch?v=ljUhCss_gdg&feature=youtu.be The recent talk by Ekaterina Kubyshkina "Ignorance: a truth-functional perspective", under her requests, will not be publically available. She will send slides, links or any other information personally upon request; please write to: Ekaterina Kubyshkina <[email protected]> I take this opportunity to inform that our next speaker will be Marcelo Esteban Coniglio, as of July 15th, 2020 (2:00 PM, GMT -3 hours): "Logics of Formal Inconsistency and a solution to the problem of replacement" Abstract. One of the most desired properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa’s paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are not algebraizable neither in the standard sense nor in the sense of Blok-Pigozzi. The same negative result holds for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). In this talk I shall expound a solution for this problem, showing how LFIs can satisfy the replacement property. The weakest LFI satisfying replacement presented is called RmbC, and I intend to clarify the role of the BALFI (Boolean algebras with LFI operators) and neighborhood semantics for RmbC. Colloquium Logicae @ The Centre for Logic is now linked to the “Logic Supergroup” Info: https://seminarioscle.wordpress.com/ Link: https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae Best, Walter -- 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 discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeAgd8FHuqJy7JuNwUF5dp9kt_JsUo-MPPXcvH8%2B2YiPA%40mail.gmail.com.
