Dijkstra最弱前置谓词理论
Dijkstra’s weakest pre-condition theory
带恒等式的谓词演算
predicate calculus with identity
多种类谓词演算
many sorted predicate calculus
广义谓词演算
extended predicate calculus
几何等价谓词
geometry equivalent prediction
三阶谓词演算
predicate calculus of the third order