Hiroakira Ono despre logica substructurală

Titlul original:

Hiroakira Ono on Substructural Logics

Conținutul cărții:

Acest volum este dedicat activității de o viață a lui Hiroakira Ono în domeniul logicii substructurale.

Capitolele, scrise de academicieni consacrați, acoperă subiecte legate de algebra universală, logica algebrică și calculul Lambek complet; cartea include o scurtă biografie despre Hiroakira Ono. Cartea începe cu studii detaliate privind algebra universală, logica algebrică abstractă, dualitățile topologice și conexiunile cu informatica.

Cartea conține, de asemenea, contribuții specializate privind conexiunile cu limbajele formale (recognoscibilitatea în rețele reziduate și conexiunile cu proprietatea de încorporare finită), sisteme de acoperire pentru logici modale substructurale, rezultate privind proprietățile de existență și disjuncție și, în cele din urmă, un studiu al conservabilității expansiunilor. Această carte va fi în primul rând de interes pentru cercetătorii care lucrează în logica algebrică și non-clasică.