[DIVERS] [PHYS} PROgrammer en LOGique tetravalente

[Norman Molhant <nwm@vif.com>]

Bonjour!

Ce petit mot pour signaler la mise-à-jour de ma page sur la
tétravalence dans mon site   http://cafe.edu/sf/pl4c/

La version "zippée" disponible pour téléchargement a aussi été
mise-à-jour.

Il y a une nouvelle page présentant une possible interprétation
de la tétravalence (avec 2 illustrations), en plus de quelques
ajustements et corrections mineures sur plusieurs autres pages.

Il va de soi que cette interprétation est SGDG (Sans Garantie
Du Garnement).  Tant mieux si elle vous fait rire (le rire est
bon pour la santé), encore mieux si elle vous fait réfléchir
(le réfléchir est bon pour la psyché), et vraiment parfait si
elle vous fait me proposer/suggérer/conseiller des améliorations
ou des corrections.  ;^))

Donc maintenant le travail se poursuit avec comme objectifs à
court terme:

- La conception d'un système de types (on dit aussi un système
   de classes, comme en programmation par objets) très simple
   pour le langage PL4C, avec une notation pour définir et
   utiliser des fonctions logiques en PL4C.

- La rédaction d'une page sur les quantificateurs et leur usage
   dans le raisonnement logique tétra (donc la skolemization).

Le travail "en public" reprend donc avec un très prochain mail
Prog.Log.Tetra-13 sur la liste [PHYS], sans doute dès mardi ou
mercredi...

Amitiés de
            Norman.


===========================================================
Liste de diffusion UMMO "DIVERS" (Tout ce qui n'entre pas dans les 4 autres listes).
Pour envoyer un message: soit fonction "répondre", soit 
mailto:ummo.open@ummo-sciences.org
Soumis à la charte: 
https://www.ummo-sciences.org/nvle_charte.htm
Archives de la liste: 
http://archives.ummo-sciences.org/ml/ummo.open-AAAAMM/maillist.html ( en remplacant AAAA par l'année et MM par le N° du mois)
Pour se désinscrire : 
mailto:ummo.open_request@ummo-sciences.org?subject=unsubscribe
===========================================================