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.