Il y a non seulement une pluralité de logiques, mais également une

pluralité de logiques non classiques. Certaines logiques non classiques

prolongent la logique classique. D'autres sont en rupture avec elle. Dans

le prolongement de la logique classique, on a principalement toutes les

logiques modales. La logique intuitionniste, trivalente, floue, des défauts,

substructurale, para consistante, etc. sont des alternatives de la logique

classique. Pour se convaincre de différentes nuances rattachées à ces

systèmes, l'auteur va examiner chaque système dans la spécificité de la

syntaxe et de la sémantique de son langage.

Un ouvrage recherché, très spécifique, qui ravira les spécialistes du sujet.

Une démonstration bien argumentée, s'appuyant sur des exemples

concrets qui éclaircissent efficacement la réflexion de l'auteur.