| 书目名称 | Hiroakira Ono on Substructural Logics |
| 编辑 | Nikolaos Galatos,Kazushige Terui |
| 视频video | |
| 概述 | Offers a concise overview of substructural logics and their semantics.Useful to graduate students and young researchers.Is an exciting mix of survey papers and new research results |
| 丛书名称 | Outstanding Contributions to Logic |
| 图书封面 |  |
| 描述 | .This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science..It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic.. |
| 出版日期 | Book 2022 |
| 关键词 | Substructural Logics; Residuated Lattices; Algebraic Logic; Duality Theory; Universal Algebra; Bunched Im |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-76920-8 |
| isbn_softcover | 978-3-030-76922-2 |
| isbn_ebook | 978-3-030-76920-8Series ISSN 2211-2758 Series E-ISSN 2211-2766 |
| issn_series | 2211-2758 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 16:44:19
