Del 23
Hiroakira Ono on Substructural Logics
AvKazushige Terui,Nikolaos Galatos
E-bok
Engelska, 20212 049 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 23
Del 151
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Inbunden, 2007
2 044 kr
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Hiroakira Ono, Tomasz Kowalski, Peter Jipsen, Nikolaos Galatos
E-bok
20071 503 kr
- Signerad!
- -23%
- -19%
- -17%
Del 2
- 4 för 3
- 4 för 3