Hiroakira Ono on Substructural Logics
Tento zväzok je venovaný životnému dielu Hiroakira Ono o subštrukturálnej logike.
Kapitoly, ktoré napísali uznávaní vedeckí pracovníci, pokrývajú témy týkajúce sa univerzálnej algebry, algebraickej logiky a úplného Lambekovho kalkulu; kniha obsahuje krátky životopis Hiroakira Ono. Kniha sa začína podrobnými prehľadmi o univerzálnej algebre, abstraktnej algebraickej logike, topologických dualitách a súvislostiach s informatikou.
Ďalej obsahuje špecializované príspevky o súvislostiach s formálnymi jazykmi (rozpoznateľnosť v reziduálnych mriežkach a súvislosti s vlastnosťou konečného vnorenia), pokrývajúce systémy pre modálne subštrukturálne logiky, výsledky o existenčných a disjunktných vlastnostiach a napokon štúdiu o konzervatívnosti expanzií. Táto kniha bude zaujímavá predovšetkým pre výskumníkov pracujúcich v algebraickej a neklasickej logike.
