归纳逻辑
更新时间:-- | 阅读量: 39

搜索到与“ 归纳逻辑”相关的文献共 1条

古典谓词归纳逻辑的构造
对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的"归纳语义",并通过澄清演绎语义和归纳语义的关系,我们...

《逻辑研究专辑》 2001年00期关键词: "归纳逻辑"," 古典谓词归纳演算"," 古典谓词演绎演算"," 归纳语义"," 演绎语义" 收藏