Produktnummer:
183418a1c8ff87401385ddefe1bc4c9066
Themengebiete: | Algebraic Logic Bunched Implication Logic Duality Theory Formal Languages Full Lambek Calculus Intermediate Logics Ordered Algebra Residuated Lattices Substructural Logics Universal Algebra |
---|---|
Veröffentlichungsdatum: | 15.12.2022 |
EAN: | 9783030769222 |
Sprache: | Englisch |
Seitenzahl: | 375 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Galatos, Nikolaos Terui, Kazushige |
Verlag: | Springer International Publishing |
Produktinformationen "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 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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen