Hiroakira Ono on Substructural Logics
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 detai...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2022, 2022
|
Edition: | 1st ed. 2022 |
Series: | Outstanding Contributions to Logic
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Chapter 1. A scientific autobiography (Hiroakira Ono)
- Part I: Expository and survey chapters
- Chapter 2. Universal algebraic methods for non-classical logics (James G. Raftery)
- Chapter 3. Abstract algebraic logic - An introductory chapter (Josep Maria Font)
- Chapter 4. Topological duality and algebraic completions (Mai Gehrke)
- Chapter 5. An algebraic glimpse at bunched implications and separation logic (Peter Jipsen and Tadeusz Litak)
- Part II: Special topics
- Chapter 6. Recognizability in Residuated Lattices (José Gil-Férez and Constantine Tsinakis)
- Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horčík). Chapter 8. Cover systems for the modalities of linear logic (Robert Goldblatt)
- Chapter 9. A negative solution to Ono’s Problem P52: Existence and disjunction properties in intermediate predicate logic (Nobu-Yuki Suzuki)
- Chapter 10. Conservative expansions of substructural logics (Jacopo Amidei, Rodolfo C. Ertola-Biraben and Franco Montagna).