Hiroakira Ono on substructural logic / Nikolaos Galatos, Kazushige Terui, editors.
Galatos, Nikolaos, editor.; Terui, Kazushige, editor.
2022
QA9 .H57 2022
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Hiroakira Ono on substructural logic / Nikolaos Galatos, Kazushige Terui, editors.
ISBN 9783030769208 (electronic bk.)
3030769208 (electronic bk.)
9783030769192
3030769194
DOI https://doi.org/10.1007/978-3-030-76920-8
Published Cham : Springer, [2022]
Copyright ©2022
Language English
Description 1 online resource : illustrations
Other Standard Identifiers 10.1007/978-3-030-76920-8 doi
Call Number QA9 .H57 2022
Dewey Decimal Classification 511.3
Summary This volume is dedicated to Hiroakira Ono lifes 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.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed December 28, 2021).
Added Author Galatos, Nikolaos, editor.
Terui, Kazushige, editor.
Series Outstanding contributions to logic ; volume 23.
Available in Other Form Hiroakira Ono on substructural logic.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Chapter 1. A scientic 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 (Jose Gil-Ferez and Constantine Tsinakis)
Chapter 7. Finite embeddability property for residuated lattices via regular languages (Rostislav Horcik). Chapter 8. Cover systems for the modalities of linear logic (Robert Goldblatt)
Chapter 9. A negative solution to Onos 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).

Browse Subjects

Show more subjects...

Statistics

from
to
Export