Por João Rasga e Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa e Instituto de Telecomunicações).
Talk related with the 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/978-3-030-56554-1
Zoom | ID da reunião: 890 8479 3299 - senha de acesso: 409604