The next session of the Logica Universalis Webinar will be Wednesday October 4 at 4pm CET
Speaker: Gabriele Pulcini, University of Rome Tor Vergata, Italy Title: Complementary Proof Nets for Classical Logic Abstract: A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in CPN enjoys strong normalization along with strong confluence (and, hence, uniqueness of normal forms). https://link.springer.com/article/10.1007/s11787-023-00337-9 Presentation of the special issue or Logica Universalis on Rejection by Alex Citkin https://www.springer.com/journal/11787/ Workshop at the 7th World Congress and School on Universal Logic 100 Years of Refutation in Logic https://sites.google.com/view/unilog-2022/7th-congress/workshops/100-years-of-refutation Chair: Ioannis Vandoulakis Vice-President of LUA (Logica Universalis Organization) http://www.logica-universalis.org/LUAD <http://logica-universalis.org/LUAD> Everyone is welcome to attend, register here: https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar 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/CAF2zFLCVcd3vO11HHP2SWA%3DgvLFs%3DzU8AQi43e453pqGwkkBJQ%40mail.gmail.com.