Titre original :
Hiroakira Ono on Substructural Logics
Contenu du livre :
Ce volume est consacré aux travaux de Hiroakira Ono sur les logiques sous-structurelles.
Les chapitres, rédigés par des universitaires reconnus, couvrent des sujets liés à l'algèbre universelle, à la logique algébrique et au calcul de Lambek complet ; le livre comprend une courte biographie de Hiroakira Ono. Le livre commence par des études détaillées sur l'algèbre universelle, la logique algébrique abstraite, les dualités topologiques et les liens avec l'informatique.
Il contient ensuite des contributions spécialisées sur les liens avec les langages formels (reconnaissabilité dans les treillis résidués et liens avec la propriété d'encastrement fini), les systèmes de couverture pour les logiques sous-structurelles modales, des résultats sur les propriétés d'existence et de disjonction et enfin une étude de la conservativité des expansions. Ce livre intéressera principalement les chercheurs travaillant en logique algébrique et non-classique.
Autres informations sur le livre :
| ISBN : | 9783030769222 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
