Francesca Poggiolesi

È una CNRS Senior Researcher che lavora presso l'Università di Paris 1 Panthéon-Sorbonne, l'ENS e l'IHPST di Parigi. Dopo aver lavorato per lungo tempo sulla teoria dell dimostrazione per la logica modale e le sue estensioni, da qualche anno si occupa della nozione di grounding nei suoi aspetti più formali.

Profili

Gentzen, Gerhard

Abstract Gerhard Gentzen (1909-1945) is one of the most illustrious mathematical logicians and one of the great figures of the twentieth century. He is the father of the natural deduction calculi and sequent calculi and, thanks to his results, he…