Modelli canonici di Herbrand e modelli numerabili

Modelli canonici di Herbrand e modelli numerabili

Il modello di Herbrandt è un modello standard che permette di dimostrare teoremi importanti in Logica dei Predicati, quando non si possa disporre di un esempio concreto di modello per la soddisfacibilità di una formula, è di solito infinito,ossia con supporto (insieme universo) di cardinalità infinita, se nella formula considerata compare almeno una funzione di Skolem. Ciò non diminuisce tuttavia la sua importanza, poichè è possibile trovare basi di Herbrand per la soddisfacibilità. Infatti esempi di formule non valide si trovano di solito prendendo in esame insiemi di supporto di piccola cardinalità (2 elementi). Nel Capitolo 1 di questo lavoro si studia il modello di Herbrandt e la proprietà del modello numerabile, in connessione col modello di Herbrandt. Il Capitolo 2 è dedicato allo studio dei tableaux infiniti della logica dei predicati ed alla loro modellizzazione matematica con grafi infiniti.Il risultato cruciale è che la logica fornisce una nuova classe di grafi il cui studio è molto interessante dal punto di vista matematico.
Momentaneamente non ordinabile

Dettagli Libro

Libri che ti potrebbero interessare

Star Trek. Missione Terra Nova
Star Trek. Missione Terra Nova

Cristiano Sassetti, Diane Carey
La casa tra i mondi
La casa tra i mondi

Paola Gimigliano, Marion Zimmer Bradley
I cento gol più belli del calcio. Con videocassetta
I cento gol più belli del calcio. Con v...

Giorgio Tosatti, Salvatore Lo Presti
Quando sono con te
Quando sono con te

Ullmann Linn
Gli occhi negli alberi
Gli occhi negli alberi

Barbara Kingsolver, Alessandra Petrelli, A. Petrelli
Cuore di manager
Cuore di manager

Monica Setta
Un minuto tutto per te
Un minuto tutto per te

Spencer Johnson, C. Scagliotti
Avviso di chiamata
Avviso di chiamata

Mike Gayle, S. Bertola
Voltiamo pagina
Voltiamo pagina

Alessandra Padoan, Jane Green
L'arte dell'Islam
L'arte dell'Islam

Titus Burckhardt, Luca Tognoli
Tracce nel buio
Tracce nel buio

Dean R. Koontz, A. Caminiti, Annabella Caminiti
Diritti e confini. Dalle costituzioni nazionali alla Carta di Nizza
Diritti e confini. Dalle costituzioni na...

Mario Comba, Joseph H. H. Weiler