| 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, Autor |
| 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. |
| 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 |
| Índice Dewey: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi [documento electrónico] / Indrzejczak, Andrzej, Autor . - 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.
| 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 |
| Índice Dewey: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda
