Colloque

Critères de complétude en logique ensemble-valuée sous des compositions avec union et intersection

Alioune Ngom

Corina Reischer

Dan A. Simovici

Ivan Stojmenovic

Membre a labase

Alioune Ngom

Résumé du colloque

Nous examinons le problème de la complétude Booléenne dans la logique ensemble r-valuée, qui est la logique de fonctions d'un ensemble de sous-ensembles vers des sous-ensembles pris parmi r éléments. Les fonctions Booléennes sont des choix appropriés comme blocs de construction de circuits logiques ensemble-valués. Étant donné un ensemble S de fonctions Booléennes, un ensemble de fonctions F est S-complété si toute fonction logique ensemble-valuée peut être composée à partir de F lorsque toutes les fonctions Booléennes de S sont ajoutées dans F. Dans le cas spécial U= {U , }, nous caractérisons tous les ensembles U-maximaux de la logique ensemble r-valuée. Un ensemble F est donc U-complété si et seulement s'il est sous-ensemble d'aucun de ces ensembles U-maximaux; ceci est un critère de complétude en logique ensemble-valuée sous des compositions avec union et intersection.

Contexte

Section :

Informatique et mathématiques

Thème du colloque :

Informatique et mathématiques

Hôte : Université de Trois-Rivières

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et mathématiques

Prévision de séquences à l'aide de graphes événementiels

François Gourdeau

Développement d'applications collaboratives à base d'objets : Quelques expériences

Soumaya Cherkaoui

Système de détection et d'avertissement dans un OLAP

Martin Petitclerc

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et mathématiques

Critères de complétude en logique ensemble-valuée sous des compositions avec union et intersection

Alioune Ngom

Critères de complétude en logique ensemble-valuée sous des compositions avec union et intersection

Alioune Ngom

Critères de complétude en logique ensemble-valuée sous des compositions avec union et intersection

Alioune Ngom