Hiroakira Ono sobre lógica subestructural

Título original:

Hiroakira Ono on Substructural Logics

Contenido del libro:

Este volumen está dedicado al trabajo de toda una vida de Hiroakira Ono sobre la lógica subestructural.

Los capítulos, escritos por académicos bien establecidos, cubren temas relacionados con el álgebra universal, la lógica algebraica y el cálculo Lambek completo; el libro incluye una breve biografía sobre Hiroakira Ono. El libro comienza con estudios detallados sobre el álgebra universal, la lógica algebraica abstracta, las dualidades topológicas y las conexiones con la informática.

Contiene además contribuciones especializadas sobre conexiones con lenguajes formales (reconocibilidad en retículos residuados y conexiones con la propiedad de incrustación finita), sistemas de cobertura para lógicas modales subestructurales, resultados sobre las propiedades de existencia y disyunción y, por último, un estudio de la conservatividad de las expansiones. Este libro interesará principalmente a los investigadores que trabajan en lógica algebraica y no clásica.