GEOTRUST SSL CERTIFICATE
Résultat de la recherche
2 recherche sur le mot-clé 'logique multivalente'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Une approche introductive du calcul logique trivalent et du calcul modal trivalent qui amène graduellement au problème des rapports entre plurivalence et modalité.![]()
texte imprimé
Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique.