- Libreria
- >
- Libri
- >
- Filosofia
- >
- Filosofia: logica
- >
- Il teorema di interpolazione in logica classica, intuizionista e nelle teorie...
Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine - 9788849156812
di Paolo Maffezioli edito da CLUEB, 2020
- Prezzo di Copertina: € 16.00
- € 15.20
-
Risparmi il 5% (€ 0.80)
Informazioni bibliografiche del Libro
- Titolo del Libro: Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine
- Autore: Paolo Maffezioli
- Editore: CLUEB
- Collana: Heuresis. Linguaggio, logica, scienza
- Data di Pubblicazione: 2020
- Genere: LOGICA
- Argomenti : Logica matematica Logica
- Dimensioni mm: 210 x 0 x 0
- ISBN-10: 8849156812
- ISBN-13: 9788849156812
Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine: 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.
Promozione Il libro "Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine" su Unilibro.it è nell'offerta di libri scontati Tutti i libri in offerta!
Recensioni Scrivi la tua recensione del libro "Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine"
-5%
Argomentare, Watson! Come smascherare i cattivi ragionamenti e sopravvivere al dibattito pubblico
libro di Radin Eugenio
edizioni Ponte alle Grazie collana Saggi
-5%
Sperimentare la logica
libro di Dalla Chiara Maria Luisa
Giuntini Roberto
Paoli Francesco
edizioni Liguori collana Libri di base di filosofia
-5%
Sistemi di logica come teoria del conoscere. Vol. 2
libro di Gentile Giovanni
edizioni Le Lettere collana Opere complete di Giovanni Gentile
Recensioni Scrivi la tua recensione del libro "Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine"