SLD-博弈树中计算规则的独立性

摘要

该文提出ＳＬＤ－博弈树的成功集的概念，证明对任何计算规则Ｒ，对Ｒ的ＳＬＤ－博弈树的成功集相同，即ＳＬＤ－博弈树的证明能力与计算规则无关，这就是计算规则的独立性。