Substructural Logics par Hiroakira Ono livre de logique mathematique

Introduction aux structures logiques complexes

Le livre Substructural Logics rédigé par le célèbre chercheur Hiroakira Ono s'impose comme une référence incontournable pour quiconque souhaite approfondir ses connaissances en logique non classique. Cet ouvrage académique propose une analyse rigoureuse et détaillée des systèmes logiques qui s'affranchissent des règles structurelles traditionnelles. Grâce à une approche pédagogique et exhaustive, l'auteur guide le lecteur à travers les concepts fondamentaux de la logique mathématique contemporaine.

Une expertise scientifique reconnue

Destiné principalement aux chercheurs, enseignants et étudiants avancés en mathématiques ou en informatique théorique, ce manuel offre des démonstrations claires et des structures théoriques solides. Les théories présentées permettent de mieux comprendre les fondements des langages de programmation et des systèmes de preuve formelle.

• Analyse approfondie des logiques résiduées.
• Étude des calculs de séquents et élimination des coupures.
• Approche sémantique via les structures d'algèbres.