algebraic logic

基本解释

This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。
According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
But there is also another under-appreciative alternative; the simple algebraic logic of what Jennifer and I call pro-rata sharing
还有一些别的应该得到更多肯定的支持方法；比如说这个我和珍妮佛称之为按比例分享的简单代数方法