Colloquium Logicae: talk available on Youtube

[Walter Alexandre Carnielli]

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 <eku...@unicamp.br>

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