Teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine (Il)

Prezzo
18,00 €
Nessuna tassa
CLUEB
Maffezioli Paolo
Heuresis. Linguaggio, logica, scienza
Libro in brossura
01 Gennaio 2022
Nuovo
Quantità

E-Book non acquistabile
Il teorema di interpolazione occupa una posizione centrale nel panorama delle ricerche logiche contemporanee, sia per gli aspetti squisitamente tecnici che per la sua notevole importanza concettuale. A partire dai risultati di William Craig e Kurt Schütte relativi alla logica classica ed intuizionista, l'attenzione degli studiosi si è rivolta principalmente alle logiche modali e, più in generale, non classiche. Decisamente meno esplorato è il filone di ricerca riguardante il teorema di interpolazione nelle teorie del primo ordine. Nel presente volume viene presentata la dimostrazione standard del teorema di interpolazione per la logica classica ed intuizionista, i cui dettagli sono spesso omessi o lasciati al lettore come esercizio nei manuali adottati nei corsi universitari di logica. Nella seconda parte, il testo offre una dettagliata panoramica sull'interpolazione nelle teorie del primo ordine e su alcuni sviluppi recenti della teoria della dimostrazione, tra cui le estensioni del teorema principale di Genzten alle teorie geometriche.
THEME OPTIONS

Panel Tool

Full Width Boxed Large
Yes No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default
Headings Color
Link Color
Link Hover Color
Text Color
Price Color
Button Background
Button Hover Background
Button Color
Button Hover Color
Product Background
Product Name Color
Product Name Hover Color
Product Price Color
Product Regular Price Color
Product Button Background
Product Button Hover Background
Product Button Color
Product Button Hover Color
On Sale Badge Background
On Sale Badge Color
New Badge Background
New Badge Color
Sale Badge Background
Sale Badge Color
Online Only Background
Online Only Color
Pack Badge Background
Pack Badge Color
Block Background
Block Inner Background
Block Heading Background
Block Heading Color