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.
