Sequents and Trees / Indrzejczak, Andrzej  

Público ISBD Ningún comentario para este título. Título : Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi Tipo de documento: documento electrónico Autores: Indrzejczak, Andrzej, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVI, 345 p. 15 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-57145-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Teoría de la prueba  Lógica  Matemáticas  Teoría de la prueba y matemáticas constructivas  Filosofía de las Matemáticas Clasificación: 511.36 Resumen: Este libro de texto ofrece una introducción detallada a la metodología y aplicaciones del cálculo secuencial en lógica proposicional. A diferencia de otros textos relacionados con la teoría de la prueba, se pone énfasis en ilustrar cómo utilizar el cálculo secuencial para demostrar una amplia gama de resultados metateóricos. La presentación es elemental y autónoma, con todos los detalles técnicos tanto formalmente declarados como informalmente explicados. Se elaboran numerosas pruebas para demostrar métodos para demostrar resultados importantes, como el teorema de eliminación de cortes, la completitud, la decidibilidad y la interpolación. Otras pruebas se presentan con partes dejadas como ejercicios para los lectores, lo que les permite practicar técnicas de cálculo secuencial. Después de una breve introducción a la lógica proposicional clásica, el texto explora tres variantes del cálculo secuente y sus características y aplicaciones. Los capítulos restantes muestran cómo los cálculos sucesivos pueden extenderse, modificarse y aplicarse a lógicas no clásicas, incluidas las lógicas modales, intuicionistas, subculturales y multivaluadas. Sequents and Trees es adecuado para estudiantes graduados y avanzados de lógica que toman cursos sobre teoría de la prueba y su aplicación a lógicas no clásicas. También será de interés para investigadores en informática y filósofos. Nota de contenido: Introduction -- Analytic Sequent Calculus for CPL -- Gentzen's Sequent Calculus LK -- Purely Logical Sequent Calculus -- Sequent Calculi for Modal Logics -- Alternatives to CPL -- Appendix. Tipo de medio : Computadora Summary : This textbook offers a detailed introduction to the methodology and applications of sequent calculus in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculus to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, subcultural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi [documento electrónico] / Indrzejczak, Andrzej,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XVI, 345 p. 15 ilustraciones, 1 ilustraciones en color. ISBN : 978-3-030-57145-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Teoría de la prueba  Lógica  Matemáticas  Teoría de la prueba y matemáticas constructivas  Filosofía de las Matemáticas Clasificación: 511.36 Resumen: Este libro de texto ofrece una introducción detallada a la metodología y aplicaciones del cálculo secuencial en lógica proposicional. A diferencia de otros textos relacionados con la teoría de la prueba, se pone énfasis en ilustrar cómo utilizar el cálculo secuencial para demostrar una amplia gama de resultados metateóricos. La presentación es elemental y autónoma, con todos los detalles técnicos tanto formalmente declarados como informalmente explicados. Se elaboran numerosas pruebas para demostrar métodos para demostrar resultados importantes, como el teorema de eliminación de cortes, la completitud, la decidibilidad y la interpolación. Otras pruebas se presentan con partes dejadas como ejercicios para los lectores, lo que les permite practicar técnicas de cálculo secuencial. Después de una breve introducción a la lógica proposicional clásica, el texto explora tres variantes del cálculo secuente y sus características y aplicaciones. Los capítulos restantes muestran cómo los cálculos sucesivos pueden extenderse, modificarse y aplicarse a lógicas no clásicas, incluidas las lógicas modales, intuicionistas, subculturales y multivaluadas. Sequents and Trees es adecuado para estudiantes graduados y avanzados de lógica que toman cursos sobre teoría de la prueba y su aplicación a lógicas no clásicas. También será de interés para investigadores en informática y filósofos. Nota de contenido: Introduction -- Analytic Sequent Calculus for CPL -- Gentzen's Sequent Calculus LK -- Purely Logical Sequent Calculus -- Sequent Calculi for Modal Logics -- Alternatives to CPL -- Appendix. Tipo de medio : Computadora Summary : This textbook offers a detailed introduction to the methodology and applications of sequent calculus in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculus to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, subcultural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200