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
Item Number
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