The next session of the Logica Universalis Webinar will be Wednesday February 15, at 4pm CET. It will take place during the São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information https://www.cle.unicamp.br/splogic/ that will be presented by its organizers Itala D’Ottaviano and Walter Carnielli
Speaker: Sayantan Roy, Indraprastha Institute of Information Technology, India Title: Lindenbaum-type Logical Structures Abstract: In this talk, we present some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures, viz., the four Lindenbaum-types and the Tarski-type have been established via examples. Finally, we study the logical structures that are of both Tarski- and a Lindenbaum-type, show their separations, and end with characterization, adequacy, minimality, and representation theorems for one of the Tarski-Lindenbaum-type logical structures. https://link.springer.com/article/10.1007/s11787-023-00322-2 Associate organization : Indraprastha Institute of Information Technology, New Delhi, India presented by Sankha S Basu Chair: Raja Natarajan Editorial Board LU Everybody is welcome to join, register here: https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Organizer of LUW and Editor-in-Chief of Logica Universalis http://www.jyb-logic.org/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBoJCS-KRTvbbkJ%2BcpUzA2VOqF97SGedsa%3DR6kmu%3DzOAA%40mail.gmail.com.
