HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

The natural bijective correspondence between MV-algebras and pseudorings is generalized to the case of pseudoMV-algebras. We first introduce the concepts of noncommutative pseudorings and strong pseudo De Morgan algebras. Then, we show that they both correspond to pseudo MV-algebras via symmetric difference in a natural bijective way.

What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? Howmuch canweweaken and still be able to reason about multi-agent scenarios in a tidy compositional way? This paper provides some answers.

Graphical Abstract “My favorite science outreach activity is meeting with young people at fairs to answer the questions they have about world around them (not always easy but often inspiring) … I chose chemistry as a career because you transform and model matter scale of molecule, imperceptible human beings until very recently in our history. …” Find out more Morgan Donnard his Introducing Prof...