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.