El libro está agotado actualmente
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Autores
Valoración del libro
Más información sobre el libro
Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.
Compra de libros
Sequents and Trees, Andrzej Indrzejczak
- Idioma
- Publicado en
- 2021
- Encuadernación
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nos falta tu reseña aquí
- Título
- Sequents and Trees
- Subtítulo
- An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Idioma
- Inglés
- Autores
- Andrzej Indrzejczak
- Editorial
- Springer International Publishing
- Publicado en
- 2021
- Formato
- Tapa blanda
- Páginas
- 364
- ISBN13
- 9783030571474
- Serie
- Etiquetas
- No ficción, Ciencias sociales, Ciencia y Matemáticas, Filosofía, Matemáticas
- Calificación
- 3 de 5
- Descripción
- Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.