Os professores Cristina Sernadas e João Rasga estão a organizar um special issue bastante interessante da revista Mathematics MDPI: https://www.mdpi.com/journal/mathematics/special_issues/Decidability_Logics_Theories_and_Combinations
The decidability problem in the context of mathematical theories was clearly stated by David Hilbert at the International Congress of Mathematicians held in Paris in 1900. From then on, analyzing whether a logic is decidable or not became part of the list of properties worth exploring. Decidability can be discussed in a pure theoretical way, but it is also an important requirement when introducing new logics for coping with the increasing number of sophisticated applications. Usually, decidability is either proved directly, or by reduction (via an adequate computable map) to decidability of another logic or theory or by using other logical properties that imply decidability. Since combinations of logics and theories are also very important, due to the many applications where several logics must be put together, it is fundamental to discuss preservation of decidability if not in general, at least by providing sufficient conditions for the preservation. This Special Issue collects original research papers with the aim to uncover and exploit theoretical aspects of decidability but also to show decidability at work for new logics and theories. Furthermore, papers about preservation of decidability are also welcome either in the form of general results or specific cases for logics that are involved in significant applications. Prof. Dr. Cristina Sernadas Prof. Dr. João Rasga Guest Editors -- 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/CAO6j_LhsLTOL3-d6RO%2BuieZyN00W2vpPGm9D4v8rQ06BenwsTQ%40mail.gmail.com.
