We are glad to announce the winner of the Amílcar Sernadas Logic Prize for Portugal 2025 https://math.tecnico.ulisboa.pt/pacs/index.php?lang=en Amílcar Sernadas (1952-2017) was an important Portuguese logician, he invited me to organize the 3rd UNILOG in Lisbon in 2010. A paper I dedicated to him in a book in his honour: "Monosequent Proof Systems" https://www.jyb-logic.org/MONO -------------------------------------------------------------------------------------------------------------------- Paulo Guilherme Santos, ISCAL, IPL, CMAFcIO, University of Lisbon, Portugal Title of the paper: Reflexivity of ω-Consistency in a General Setting Abstract: We study reflexivity (the ability of a theory to prove a certain consistency statement for finitely axiomatizable sub-theories) of consis- tency statements similar to ω-consistency. We address and generalize, besides the usual ω-consistency, n-consistency, a uniform version of ω- consistency, and a consistency statement that expresses that a theory does not refute full induction. -------------------------------------------------------------------------------------------------- This paper will be published in the journal Logica Universalis and presented at the 8th UNILOG in Cusco at the 3rd World Logic Prizes Contest https://sites.google.com/view/unilog2025/logic-prizes ---------------------------------------------------------------------------------- Jean-Yves Beziau, Federal University of Rio de Janeiro https://philpeople.org/profiles/jean-yves-beziau Project A PRIZE OF LOGIC IN EVERY COUNTRY ! https://www.uni-log.org/logic-prize-world
-- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBOuH%2Bs4S5fH%3DZuHTWpjgS61zb0CG99%3DBQVEBegWRa0BA%40mail.gmail.com.
