Substructural Logics de Hiroakira Ono ouvrage scientifique universitaire

Un outil de travail indispensable pour l'université

Ce livre de recherche intitulé Substructural Logics et écrit par Hiroakira Ono constitue un véritable pilier pour l'enseignement supérieur. Il s'adresse aux doctorants et aux professeurs de logique s'intéressant aux calculs constructifs et aux modèles algébriques non commutatifs.

Contenu pédagogique et théorique

Chaque chapitre est structuré de manière à faire progresser le lecteur des concepts de base vers les théorèmes les plus pointus du domaine, garantissant une assimilation parfaite des notions de résiduation et de treillis.

• Exercices théoriques inclus pour tester la compréhension.
• Notes bibliographiques riches pour élargir les perspectives de recherche.
• Index détaillé des termes et des symboles logiques utilisés.