Editing Bunched logic (section)

===Algebraic semantics===
The algebraic semantics of bunched logic is a special case of its categorical semantics, but is simple to state and can be more approachable.
::An algebraic model of bunched logic is a poset that is a [[Heyting algebra]] and that carries an additional commutative [[residuated lattice]] structure (for the same lattice as the Heyting algebra): that is, an ordered commutative monoid with an associated implication satisfying <math>A * B \leq C \quad \mbox{iff} \quad A \leq B {-\!\!*} C</math>.
The boolean version of bunched logic has models as follows.
::An algebraic model of boolean bunched logic is a poset that is a [[Boolean algebra]] and that carries an additional residuated commutative monoid structure.