Hiroakira Ono on Substructural Logics
Niniejszy tom poświęcony jest pracy Hiroakiry Ono nad logikami substrukturalnymi.
Rozdziały, napisane przez uznanych naukowców, obejmują tematy związane z algebrą uniwersalną, logiką algebraiczną i pełnym rachunkiem Lambka; książka zawiera krótką biografię Hiroakiry Ono. Książka rozpoczyna się od szczegółowego przeglądu algebry uniwersalnej, abstrakcyjnej logiki algebraicznej, dualności topologicznych i powiązań z informatyką.
Następnie zawiera specjalistyczne artykuły dotyczące powiązań z językami formalnymi (rozpoznawalność w residuach i powiązania z własnością skończonego osadzania), obejmujące systemy dla modalnych logik substrukturalnych, wyniki dotyczące istnienia i własności dysjunkcji, a wreszcie badanie konserwatywności rozszerzeń. Książka ta zainteresuje przede wszystkim badaczy zajmujących się logiką algebraiczną i nieklasyczną.
