| Título : |
Proof Theory and Algebra in Logic |
| Tipo de documento: |
documento electrónico |
| Autores: |
Ono, Hiroakira, Autor |
| Mención de edición: |
1 ed. |
| Editorial: |
Singapore [Malasya] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
VIII, 160 p. 4 ilustraciones |
| ISBN/ISSN/DL: |
978-981-1379970-- |
| 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: |
Lógica Teoría de las máquinas Lógica matemática Álgebra Lenguajes formales y teoría de los autómatas Lógica Matemática y Fundamentos Orden Celosías Estructuras Algebraicas Ordenadas |
| Índice Dewey: |
160 Lógica |
| Resumen: |
Este libro ofrece una introducción concisa tanto a la teoría de la prueba como a los métodos algebraicos, el núcleo del estudio sintáctico y semántico de la lógica, respectivamente. La importancia de combinar estos dos ha sido cada vez más reconocida en los últimos años. Destaca los contrastes entre los resultados profundos y concretos del primero y los generales y abstractos del segundo. Cubriendo lógicas modales, lógicas multivaluadas, lógicas superintuicionistas y subestructurales, junto con su semántica algebraica, el libro también proporciona una introducción a la lógica no clásica para cursos de pregrado o posgrado. El libro está dividido en dos partes: Teoría de la prueba en la Parte I y Álgebra en Lógica en la Parte II. La Parte I presenta los sistemas siguientes y analiza en detalle la eliminación de cortes y sus aplicaciones. También proporciona una prueba simplificada de eliminación de cortes, lo que hace que el tema sea más accesible. El último capítulo de la Parte I está dedicado a aclarar las clases de lógicas que se analizan en la segunda parte. La Parte II se centra en la semántica algebraica de estas lógicas. Al mismo tiempo, es una suave introducción a los conceptos básicos de la lógica algebraica y el álgebra universal con muchos ejemplos de sus aplicaciones en lógica. La Parte II se puede leer independientemente de la Parte I, requiriendo sólo un conocimiento mínimo y, como tal, es adecuado como libro de texto para cursos breves de introducción al álgebra en lógica. |
| Nota de contenido: |
Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems -- Proof-theoretic analysis of logical properties -- Modal and substructural logics -- Deducibility and axiomatic extensions -- Part II Algebra in Logic -- Boolean algebras and classical logic -- Many-valued algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures -- Modal algebras -- References -- Index. |
| 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 |
Proof Theory and Algebra in Logic [documento electrónico] / Ono, Hiroakira, Autor . - 1 ed. . - Singapore [Malasya] : Springer, 2019 . - VIII, 160 p. 4 ilustraciones. ISBN : 978-981-1379970-- Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Lógica Teoría de las máquinas Lógica matemática Álgebra Lenguajes formales y teoría de los autómatas Lógica Matemática y Fundamentos Orden Celosías Estructuras Algebraicas Ordenadas |
| Índice Dewey: |
160 Lógica |
| Resumen: |
Este libro ofrece una introducción concisa tanto a la teoría de la prueba como a los métodos algebraicos, el núcleo del estudio sintáctico y semántico de la lógica, respectivamente. La importancia de combinar estos dos ha sido cada vez más reconocida en los últimos años. Destaca los contrastes entre los resultados profundos y concretos del primero y los generales y abstractos del segundo. Cubriendo lógicas modales, lógicas multivaluadas, lógicas superintuicionistas y subestructurales, junto con su semántica algebraica, el libro también proporciona una introducción a la lógica no clásica para cursos de pregrado o posgrado. El libro está dividido en dos partes: Teoría de la prueba en la Parte I y Álgebra en Lógica en la Parte II. La Parte I presenta los sistemas siguientes y analiza en detalle la eliminación de cortes y sus aplicaciones. También proporciona una prueba simplificada de eliminación de cortes, lo que hace que el tema sea más accesible. El último capítulo de la Parte I está dedicado a aclarar las clases de lógicas que se analizan en la segunda parte. La Parte II se centra en la semántica algebraica de estas lógicas. Al mismo tiempo, es una suave introducción a los conceptos básicos de la lógica algebraica y el álgebra universal con muchos ejemplos de sus aplicaciones en lógica. La Parte II se puede leer independientemente de la Parte I, requiriendo sólo un conocimiento mínimo y, como tal, es adecuado como libro de texto para cursos breves de introducción al álgebra en lógica. |
| Nota de contenido: |
Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems -- Proof-theoretic analysis of logical properties -- Modal and substructural logics -- Deducibility and axiomatic extensions -- Part II Algebra in Logic -- Boolean algebras and classical logic -- Many-valued algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures -- Modal algebras -- References -- Index. |
| 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 |
|  |
Proof Theory and Algebra in Logic
