The next Logica Universalis Webinar session will take place next Wednesday, Nov 17, at 4pm CET with the talk "Correspondence Analysis for Some Fragments of Classical Propositional Logic" by Yaroslav Petrukhin (University of Łódź, Poland) and Vasilyi Shangin (Lomonosov Moscow State University, Russia)
Abstract: We apply Kooi and Tamminga’s correspondence analysis (that has been previously applied to some notable three- and four-valued logics) to some conventional and functionally incomplete fragments of classical propositional logic. In particular, the paper deals with the implication, disjunction, and negation fragments. Additionally, we consider an application of correspondence analysis to some connectiveless fragment with certain basic properties of the logical consequence relation only. As a result of the application, one obtains a sound and complete natural deduction system for any binary extension of each fragment in question. With the focus on exclusive disjunction we comparatively study the proposed systems. Finally, we discuss Segerberg’s systems for connectiveless and negation fragments and compare them with our systems. https://link.springer.com/article/10.1007/s11787-021-00267-4 To attend, register here: https://www.springer.com/journal/11787/updates/18988758 Best Wishes Jean-Yves Beziau Organizer of the Logica Universalis Webinar President of Logica Universalis Association http://www.logica-universalis.org/LUAD -- 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/CAF2zFLDN__PgbOBNeAVmjDbK2RDBCRJuyD8d%3DFMDSiC7DCJ0-Q%40mail.gmail.com.
