Hiroakira Ono on Substructural Logics

de

,

Éditeur :

Springer


Collection :

Outstanding Contributions to Logic

Paru le : 2021-12-13

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
147,69

Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description


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.

Pages
375 pages
Collection
Outstanding Contributions to Logic
Parution
2021-12-13
Marque
Springer
EAN papier
9783030769192
EAN PDF
9783030769208

Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
37
Taille du fichier
4639 Ko
Prix
147,69 €
EAN EPUB
9783030769208

Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
37
Taille du fichier
22856 Ko
Prix
147,69 €