收藏本站
《2001年逻辑研究专辑》2001年
收藏 | 手机打开
二维码
手机客户端打开本文

古典谓词归纳逻辑的构造

熊明  
【摘要】:对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的“归纳语义”,并通过澄清演绎语义和归纳语义的关系,我们证明了此古典谓词归纳演算和对于此归纳语义的一致性和完全性,以此给出它的一些元逻辑性质。最后,我们简要说明了使用同样的方法能够获得更多的古典归纳逻辑系统。
【作者单位】:华南师范大学政法系
【分类号】:B812

【相似文献】
中国重要会议论文全文数据库 前5条
1 熊明;;古典谓词归纳逻辑的构造[A];2001年逻辑研究专辑[C];2001年
2 任晓明;;略论归纳逻辑的恰当性[A];1993年逻辑研究专辑[C];1993年
3 熊明;;论归纳的逻辑特征[A];2005年逻辑研究专辑[C];2005年
4 赵总宽;;认知型归纳逻辑系统[A];2000年逻辑研究专辑[C];2000年
5 王建芳;;归纳推理与人工智能[A];1996年逻辑研究专辑[C];1996年
中国硕士学位论文全文数据库 前1条
1 王晓;科恩的归纳支持研究[D];西南大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026