Précis de logique non classique

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.