The next session of the Logica Universalis Webinar (LUW) will be Wednesday September 8 at 4 pm CET. https://www.springer.com/journal/11787/updates/18988758
Talk: "Decidability of Logical Theories and their Combination" by João Rasga and Cristina Sernadas, IST, University of Lisbon, Portugal related with their recent book with the same title, published in Studies in Universal Logic (SUL), Birkhäuser, Basel, Switzerland. This book provides a comprehensive, self-contained introduction to decidability of first-order theories, using detailed proofs and examples to illustrate and clarify complex concepts. It incorporates computability theory and reduction techniques to determine the decidability of theories. It illustrates a variety of ways to deduce logical consequences from a theory, including the use of Gentzen calculus for first-order logic https://link.springer.com/book/10.1007%2F978-3-030-56554-1 Chairman: Razvan Diaconescu, member of the editorial board of SUL Associate Organization: Security and Quantum Information Group, presented by its Founder and Coordinator, Paulo Mateus Everybody is welcome, please register in advance. JYB, president of LUA 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/CAF2zFLD5Y3W-DooJwoRMXJtKEBv2OhC2h-mbne35nd-A-468YA%40mail.gmail.com.
