Computing with HACCP Risk and Safety Characterizations

The focus of this paper is the semi-quantitative approach to risk analysis in HACCP (Hazard Analysis and Critical Control Points), where we show how alternative computations in the risk matrix, combining probability and impact, can be provided based on algebraic and many-valued logical techniques. Doing so, we further show how applying such computations requires being formal concerning underlying information structures, which in turn enables being formal concerning functional representation of mappings between information structures appearing within risk analysis in risk management. Our mathematical algebraic framework also enables a more formal treatment of the duality between threat and opportunity.