Decidibilidad de las teorías lógicas y su combinación

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Decidability of Logical Theories and Their Combination

Contenido del libro:

Este libro de texto proporciona una introducción autocontenida a la decidibilidad de las teorías de primer orden y su combinación. El material técnico se presenta de forma sistemática y universal y se ilustra con abundantes ejemplos y una serie de ejercicios propuestos.

Tras una visión general de los conceptos básicos de la lógica de primer orden, los autores discuten algunas nociones de teoría de modelos como incrustaciones, diagramas y subestructuras elementales. A continuación, el texto explora una forma aplicable de deducir consecuencias lógicas a partir de una teoría dada y presenta condiciones suficientes para que una teoría sea decidible. Los capítulos siguientes se centran en la eliminación de cuantificadores, la decidibilidad de la combinación de teorías de primer orden y los fundamentos de la teoría de la computabilidad.

La inclusión de un capítulo sobre el cálculo de Gentzen, la eliminación de cortes y la interpolación de Craig, así como un capítulo sobre la combinación de teorías y la preservación de la decidibilidad, ayudan a diferenciar este volumen de otros libros similares en este campo.

Decidability of Logical Theories and their Combination es ideal para estudiantes de posgrado de Matemáticas y es igualmente adecuado para estudiantes de Informática, Filosofía y Física que estén interesados en profundizar en el tema. El libro también está dirigido a investigadores que pretendan familiarizarse con las teorías de primer orden y su combinación.