La teoría de la demostración mal-fundada nos permite estudiar demostraciones con cadenas de deducción infinitas, es decir, las demostraciones no tienen necesariamente que partir de axiomas. En esta charla introduciremos una clase simple de sistemas de demostraciones mal-fundados, llamados sistemas de demostración de progreso local, y enseñaremos cómo analizarlos satisfactoriamente. En particular, veremos cómo usar sistemas de progreso local para estudiar la lógica de la demostrabilidad (GL).

Non-wellfounded proof theory allows us to study proofs where infinite deduction chains are possible, i.e., proofs do not need to start with axioms. In this talk we will introduce a simple class of non-wellfounded proof calculi, called local progress proof systems, and we will show how to study them satisfactorily. Particularly, we will show how we can study provability logic (GL) via local progress calculi.