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

摘要

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