Hiroakira Ono on Substructural Logics
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Offers a concise overview of substructural logics and their semantics Useful to graduate students and young researchers Is an exciting mix of survey papers and new research results
Autor*in
Nikolaos Galatos
Themen in »Hiroakira Ono on Substructural Logics«
Substructural Logics Residuated Lattices Algebraic Logic Duality Theory Universal Algebra Bunched Implication Logic Formal Languages Ordered Algebra Intermediate Logics Full Lambek Calculus