Linking Game-Theoretical Approaches with Constructive Type Theory

Questo titolo collega due dei più dominanti filoni di ricerca nella filosofia della logica, ovvero la teoria dei giochi e la teoria della dimostrazione. Come esprime il sottotitolo dell'opera, gli autori costruiranno questo legame attraverso l'approccio dialogico alla logica. Un aspetto importante di questo studio è che gli autori si limitano al frammento logicamente valido della Teoria dei Tipi Costruttivi (CTT). La ragione è che, una volta raggiunto quel frammento, il risultato può essere esteso a coprire l'intero sistema CTT. I primi capitoli del volume offrono panoramiche sui due framework discussi nel libro, con un'enfasi particolare sul framework dialogico. Il terzo capitolo dimostra la direzione da sinistra a destra del risultato di equivalenza. Questo è seguito da un capitolo che dimostra l'uso dell'algoritmo per mostrare come trasformare una specifica strategia vincente in una dimostrazione CCT dell'assioma della scelta.