Logique et algèbre de structures mathématiques modales

L'ouvrage Logique et Algèbre de Structures Mathématiques modales -valentes
chrysippiennes est l'aboutissement d'un projet utopique qui prend corps en
1982 à Lyon. L'ouvrage propose une alternative à un héritage scientifique
colossal de l'humanité : la mise sur pied d'une mathématique bâtie sur la
mathématique classique mais qui prétend l'enrichir là où elle est inopérante !
Une mathématique modale, chrysippienne comme la mathématique booléenne, mais
(multi)-valente (mch ). L'ouvrage propose d'abord le modèle algébrique,
l'anneau chrysippien -valent (ach ) de la logique intrinsèque de cette
mathématique. Il examine ensuite les problèmes fondamentaux de sa logique
propositionnelle. Il construit le modèle ensembliste intrinsèque de cette
logique : l'ensemble modal -valent (em ). Il se met ensuite à faire sur l'em
une mathématique intrinsèque. On met en évidence des êtres mathématiques
nouveaux, inconnus dans notre mathématique ancestrale : entiers relatifs
modaux -valents (erm ), erm résiduels, corps modaux -valents (cm ). On apprend
à faire une arithmétique modale -valente avec les erm ... Cet ouvrage est
destiné à tout esprit épris de vérité, d'une vérité sans aliénation préalable,
et du désir de la rechercher sans parti pris.