Hiroakira Ono on Substructural Logics

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).

• Format: Hardcover
• Language: English
• ISBN: 3030769194
• ISBN13: 9783030769192
• Release Date: December 2021
• Publisher: Springer
• Length: 375 Pages
• Weight: 1.58 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"