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, qui s'appuie sur des exemples concrets qui éclaircissent efficacement la réflexion de l'auteur.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Lara entame un stage en psychiatrie d’addictologie, en vue d’ouvrir ensuite une structure d’accueil pour jeunes en situation d’addiction au numérique...
Un douloureux passage à l'âge adulte, entre sensibilité et horreur...
Blanche vient de perdre son mari, Pierre, son autre elle-même. Un jour, elle rencontre Jules, un vieil homme amoureux des fleurs...
Des idées de lecture pour ce début d'année !
