Wolfgang Poiger

La recherche sur les logiques coalgebriques à plusieurs valeurs utilisant des algèbres semi-primal met en avant la complétude et l'expressivité.

Un aperçu des MV-algèbres positives, leur structure et leurs implications pratiques.