Hiroakira Ono a szubstrukturalista logikáról

Eredeti címe:

Hiroakira Ono on Substructural Logics

Könyv tartalma:

Ezt a kötetet Hiroakira Ono életművének szenteljük a szubstrukturális logikák terén.

Az elismert tudósok által írt fejezetek az univerzális algebrával, az algebrai logikával és a Full Lambek-kalkulussal kapcsolatos témákat tárgyalják; a könyv Hiroakira Ono rövid életrajzát is tartalmazza. A könyv az univerzális algebra, az absztrakt algebrai logika, a topológiai dualitások és a számítástechnikával való kapcsolatok részletes áttekintésével kezdődik.

Tartalmaz továbbá speciális hozzászólásokat a formális nyelvekkel való kapcsolatokról (felismerhetőség reziduális rácsokban és a véges beágyazottsági tulajdonsággal való kapcsolatok), a modális szubstrukturalista logikák fedőrendszereit, a létezési és diszjunkciós tulajdonságokra vonatkozó eredményeket, végül pedig a kiterjesztések konzervativitásának tanulmányozását. A könyv elsősorban az algebrai és a nem klasszikus logikával foglalkozó kutatók érdeklődésére tarthat számot.