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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210906/660df787/attachment-0001.html>