| TÃtulo : |
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics |
| Tipo de documento: |
documento electrónico |
| Autores: |
Arieli, Ofer, ; Zamansky, Anna, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XXXIX, 339 p. 18 ilustraciones, 3 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-71258-7 |
| 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 Simbólica y Matemática Lógica matemática Ciencias de la Computación Lógica Matemática en FilosofÃa Lógica Matemática y Fundamentos |
| Clasificación: |
160 Lógica |
| Resumen: |
Este libro es una colección de contribuciones que honran el trabajo fundamental de Arnon Avron sobre la semántica y la teorÃa de la prueba de la lógica no clásica. Incluye presentaciones de trabajos avanzados de algunos de los académicos más estimados que trabajan en aspectos semánticos y teóricos de la prueba de la lógica informática. Los temas de este libro incluyen marcos para el razonamiento paraconsistente, fundamentos de la lógica de relevancia, análisis y caracterizaciones de lógicas modales y lógicas difusas, cálculos hipersecuentes y sus propiedades, semántica no determinista, estructuras algebraicas para lógicas multivaluadas y representaciones de la mecanización de matemáticas. Las contribuciones fundamentales y pioneras de Avron han sido ampliamente reconocidas y adoptadas por la comunidad cientÃfica. Sus intereses de investigación son muy amplios y abarcan la teorÃa de la prueba, el razonamiento automatizado, la lógica no clásica, los fundamentos de las matemáticas y las aplicaciones de la lógica en la informática y la inteligencia artificial. Esto se refleja claramente en la diversidad de temas tratados en los capÃtulos incluidos en este libro, todos los cuales se relacionan directamente con las obras pasadas y presentes de Avron. Este libro es de interés para los informáticos y los estudiosos de la lógica formal. |
| Nota de contenido: |
Chapter 1. An uncertain road to certainty; Arnon Avron -- Chapter 2. Introduction: Non-classical logics – Between semantics and proof theory (In relation to Arnon Avron's work); Ofer Arieli and Anna Zamansky -- Chapter 3. Interpretations of weak positive modal logics; Katalin Bimbó -- Chapter 4. On axioms and rexpansions; Carlos Caleiro and Sérgio Marcelin -- Chapter 5. Credal calculi, evidence, and consistency; Walter Carnielli and Juliana Bueno-Soler -- Chapter 6. Theorems of alternatives for substructural logics; Almudena Colacito, Nikolaos Galatos and George Metcalfe -- Chapter 7. Degree-preserving Gödel logics with aninvolution: intermediate logics and (ideal) paraconsistency; Marcelo E. Coniglio, Francesc Esteva, Joan Gispert and Lluis Godo -- Chapter 8. R-mingle is nice, and so is Arnon Avron; J. Michael Dunn -- Chapter 9.The strict/tolerant idea and bilattices; Melvin Fitting -- Chapter 10. What is negation in a system 2020?; Dov Gabbay -- Chapter 11.Relevance Domains and the Philosophy of Science; Edwin Mares -- Chapter 12. Consequence relations with real truth-values; Daniele Mundici -- Chapter 13. Geometric rules in infinitary logic; Sara Negri -- Chapter 14. Connexive variants of modal logics over FDE; Sergei Odinstov, Daniel Skurt and Heinrich Wansing -- Chapter 15. Comments on the Papers; Arnon Avron -- Chapter 16. Arnon Avron - List of publications. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics [documento electrónico] / Arieli, Ofer, ; Zamansky, Anna, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXXIX, 339 p. 18 ilustraciones, 3 ilustraciones en color. ISBN : 978-3-030-71258-7 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 Simbólica y Matemática Lógica matemática Ciencias de la Computación Lógica Matemática en FilosofÃa Lógica Matemática y Fundamentos |
| Clasificación: |
160 Lógica |
| Resumen: |
Este libro es una colección de contribuciones que honran el trabajo fundamental de Arnon Avron sobre la semántica y la teorÃa de la prueba de la lógica no clásica. Incluye presentaciones de trabajos avanzados de algunos de los académicos más estimados que trabajan en aspectos semánticos y teóricos de la prueba de la lógica informática. Los temas de este libro incluyen marcos para el razonamiento paraconsistente, fundamentos de la lógica de relevancia, análisis y caracterizaciones de lógicas modales y lógicas difusas, cálculos hipersecuentes y sus propiedades, semántica no determinista, estructuras algebraicas para lógicas multivaluadas y representaciones de la mecanización de matemáticas. Las contribuciones fundamentales y pioneras de Avron han sido ampliamente reconocidas y adoptadas por la comunidad cientÃfica. Sus intereses de investigación son muy amplios y abarcan la teorÃa de la prueba, el razonamiento automatizado, la lógica no clásica, los fundamentos de las matemáticas y las aplicaciones de la lógica en la informática y la inteligencia artificial. Esto se refleja claramente en la diversidad de temas tratados en los capÃtulos incluidos en este libro, todos los cuales se relacionan directamente con las obras pasadas y presentes de Avron. Este libro es de interés para los informáticos y los estudiosos de la lógica formal. |
| Nota de contenido: |
Chapter 1. An uncertain road to certainty; Arnon Avron -- Chapter 2. Introduction: Non-classical logics – Between semantics and proof theory (In relation to Arnon Avron's work); Ofer Arieli and Anna Zamansky -- Chapter 3. Interpretations of weak positive modal logics; Katalin Bimbó -- Chapter 4. On axioms and rexpansions; Carlos Caleiro and Sérgio Marcelin -- Chapter 5. Credal calculi, evidence, and consistency; Walter Carnielli and Juliana Bueno-Soler -- Chapter 6. Theorems of alternatives for substructural logics; Almudena Colacito, Nikolaos Galatos and George Metcalfe -- Chapter 7. Degree-preserving Gödel logics with aninvolution: intermediate logics and (ideal) paraconsistency; Marcelo E. Coniglio, Francesc Esteva, Joan Gispert and Lluis Godo -- Chapter 8. R-mingle is nice, and so is Arnon Avron; J. Michael Dunn -- Chapter 9.The strict/tolerant idea and bilattices; Melvin Fitting -- Chapter 10. What is negation in a system 2020?; Dov Gabbay -- Chapter 11.Relevance Domains and the Philosophy of Science; Edwin Mares -- Chapter 12. Consequence relations with real truth-values; Daniele Mundici -- Chapter 13. Geometric rules in infinitary logic; Sara Negri -- Chapter 14. Connexive variants of modal logics over FDE; Sergei Odinstov, Daniel Skurt and Heinrich Wansing -- Chapter 15. Comments on the Papers; Arnon Avron -- Chapter 16. Arnon Avron - List of publications. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
