Decidibilità delle teorie logiche e loro combinazione

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Decidability of Logical Theories and Their Combination

Contenuto del libro:

Questo testo fornisce un'introduzione autonoma alla decidibilità delle teorie del primo ordine e alla loro combinazione. Il materiale tecnico è presentato in modo sistematico e universale e illustrato con numerosi esempi e una serie di esercizi proposti.

Dopo una panoramica dei concetti di base della logica del primo ordine, gli autori discutono alcune nozioni di teoria dei modelli come le incorporazioni, i diagrammi e le sottostrutture elementari. Il testo passa poi a esplorare un modo applicabile per dedurre conseguenze logiche da una teoria data e presenta le condizioni sufficienti perché una teoria sia decidibile. I capitoli successivi si concentrano sull'eliminazione dei quantificatori, sulla decidibilità della combinazione di teorie del primo ordine e sulle basi della teoria della calcolabilità.

L'inclusione di un capitolo sul calcolo di Gentzen, sull'eliminazione dei tagli e sull'interpolazione di Craig, nonché di un capitolo sulla combinazione di teorie e sulla conservazione della decidibilità, contribuiscono a distinguere questo volume da altri simili.

Decidibilità delle teorie logiche e loro combinazione è ideale per gli studenti di Matematica e altrettanto adatto per gli studenti di Informatica, Filosofia e Fisica interessati ad approfondire l'argomento. Il libro si rivolge anche ai ricercatori che intendono familiarizzare con le teorie del primo ordine e la loro combinazione.