Hiroakira Ono on Substructural Logics

This volume is dedicated to Hiroakira Ono's work on substructural logics, covering topics such as universal algebra, algebraic logic, and the Full Lambek calculus. It includes a short biography and surveys on various areas, with specialized contributions on connections to formal languages and modal substructural logics. The book is intended for researchers in algebraic and non-classical logic.

Format: Hardback
Length: 375 pages
Publication date: 14 December 2021
Publisher: Springer Nature Switzerland AG

This comprehensive volume pays tribute to the remarkable work of Hiroakira Ono in the field of substructural logics. Comprising a collection of chapters authored by esteemed scholars, the book explores a wide range of topics related to universal algebra, algebraic logic, and the Full Lambek calculus. In addition, it includes a concise biography that provides insights into the life and achievements of Hiroakira Ono.

The book begins with in-depth surveys covering universal algebra, abstract algebraic logic, topological dualities, and their connections to computer science. It then delves into specialized contributions, exploring connections to formal languages, including topics such as recognizability in residuated lattices and their implications for modal substructural logics. The volume further showcases results on the existence and disjunction properties of systems for modal substructural logics, as well as a thorough study of the conservativity of expansions.

This book is particularly valuable to researchers engaged in the study of algebraic and non-classical logic. It offers a comprehensive and up-to-date overview of the field, presenting cutting-edge research and insights from leading experts. Whether you are a seasoned researcher or an aspiring scholar, this book will provide you with a deep understanding of substructural logics and its applications.

In conclusion, this remarkable volume is a testament to Hiroakira Ono's profound contributions to the field of substructural logics. It serves as a valuable resource for researchers, students, and anyone interested in advancing their knowledge in this area.

Weight: 746g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030769192
Edition number: 1st ed. 2022