Ricerca avanzata
Home Le Collane Analitica (6) 9788846736017
Libro cartaceo
€ 16,00 € 15,20
Sconto -5 %

Essays in Structural Proof Theory

Autore/i: Laura Tesconi

Collana: Analitica (6)

Pagine: 134
Formato: cm.17x24
Anno: 2013
ISBN: 9788846736017

Stato: Disponibile
  • Descrizione

The three chapters that constitute this book bear a common denominator in being focused on the relationship between structural properties of two prominent formalizations of logical deduction: sequent calculus and natural deduction. This relation imposed itself as one of the key topics of Structural Proof Theory since its very emergence, by proving to be so pregnant with significance that it results impossible to ignore it without failing to grasp the essential meaning of many features of one or the other of the two calculi. Far from being intended as giving a panoramic of this broad subject, this book will present instead some formal results that to this panoramic add further interesting details and - it is to be stressed - despite their distinguishing formal character, philosophically interesting details.

Laura Tesconi (Lucca, 1972) has got a PhD in Philosophy from the University of Pisa, where she presently conducts her research in Logic at the Dipartimento di Civiltą e Forme del Sapere.