Teoría de la Demostración y Álgebra en Lógica

Introducción.- Parte I Teoría de la demostración.- Sistemas de secuentes.- Eliminación de cortes para sistemas de secuentes.- Análisis teórico de la prueba de propiedades lógicas.- Lógicas modales y subestructurales.- Deducibilidad y extensiones axiomáticas.- Parte II Álgebra en lógica.- Álgebras de Boole y lógica clásica.- Álgebras multivaluadas.- Álgebras de Heyting y lógica intuicionista.- Lógicas y variedades.- Estructuras residuadas.- Álgebras modales.- Referencias.- Índice.

Autor: Hiroakira Ono
Editorial: Springer
Publicado: 19/08/2019
Páginas: 160
Tipo de encuadernación: Tapa blanda
Peso: 0.54 libras
Tamaño: 9.21h x 6.14w x 0.36d
ISBN13: 9789811379963
ISBN10: 9811379963
Categorías BISAC:
- Filosofía | Lógica
- Matemáticas | Lógica
- Matemáticas | Álgebra | Abstracta

Acerca del autor
Hiroakira Ono es profesor emérito del Instituto Avanzado de Ciencia y Tecnología de Japón (JAIST). Se trasladó a JAIST en 1993 después de trabajar en la Universidad de Hiroshima durante veinte años. Más tarde se convirtió en profesor distinguido hasta su jubilación de JAIST en 2012. Su principal interés es el estudio de las lógicas no clásicas, en particular las lógicas subestructurales y las lógicas intermedias, tanto desde el punto de vista sintáctico como semántico. Además de su libro coescrito sobre lógicas subestructurales en 2007, publicó seis libros de texto en japonés, incluyendo los de lógica y álgebra, uno de los cuales ganó reputación como uno de los libros de texto de lógica más populares en Japón desde su publicación en 1994.