Hiroakira Ono on Substructural Logics
Dieser Band ist dem Lebenswerk von Hiroakira Ono über substrukturelle Logiken gewidmet.
Die von etablierten Wissenschaftlern verfassten Kapitel behandeln Themen im Zusammenhang mit der universellen Algebra, der algebraischen Logik und dem vollständigen Lambek-Kalkül; das Buch enthält auch eine Kurzbiographie über Hiroakira Ono. Das Buch beginnt mit detaillierten Übersichten über universelle Algebra, abstrakte algebraische Logik, topologische Dualitäten und Verbindungen zur Informatik.
Es enthält ferner spezielle Beiträge über Verbindungen zu formalen Sprachen (Erkennbarkeit in residuierten Gittern und Verbindungen zur endlichen Einbettungseigenschaft), Abdeckungssysteme für modale substrukturelle Logiken, Ergebnisse über die Existenz- und Disjunktionseigenschaften und schließlich eine Studie über die Konservativität von Expansionen. Dieses Buch ist in erster Linie für Forscher interessant, die in der algebraischen und nichtklassischen Logik arbeiten.
| ISBN: | 9783030769222 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
