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 http://www.logica-universalis.org/sul Associate Organization: Security and Quantum Information Group, presented by its Founder and Coordinator, Paulo Mateus http://sqig.math.ist.utl.pt/pmat/ Everybody is welcome, please register in advance. JYB, president of LUA http://www.logica-universalis.org/LUAD -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html
