Action algebra
- 作用代数（作用代数是既是剩余半格又是克莱尼代数的代数结构，它合并了程序和命题为一个单一类别）
Action algebra
-
abstract:
In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right residuation or implication operations of the former to the latter.
以上来源于:
WordNet