Paulo Guilherme Santos, winner of the Amílcar Sernadas Logic Prize for Portugal 2025

[jean-yves beziau]

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