Mechanising Valuation Algebras

Picture of peter-hoefner.md Peter Hoefner

9 Jul 2025

Valuation algebras are an abstract representation of information that can be use to model a wide range of situations. To model directionality or flow of information conditional valuation algebras were introduced.

arrow-left bars magnifying-glass xmark