LUW Sept 8: Decidability of Logical Theories and their Combination

[jean-yves beziau]

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