首页> 外文会议>Fields of logic and computation >Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic
【24h】

Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic

机译:伊本·新浪分析:1.证明搜索。或:抽象状态机作为逻辑历史工具

获取原文

摘要

The 11th century Arabic-Persian logician Ibn Sina (Avi-cenna) in Sect. 9.6 of his book Qiyas gives what appears to be a proof search algorithm for syllogisms. We confirm that it is indeed a proof search algorithm, by extracting all the essential ingredients of an Abstract State Machine from Ibn Slna's text. The paper also contains a translation of the passage from Ibn STna's Arabic, and some notes on the text and translation.
机译:11世纪的阿拉伯-波斯逻辑学家伊本·西纳(Ibn Sina)(教区)。 Qiyas在他的书9.6中给出了似乎是三段论的证明搜索算法。通过从伊本·斯纳(Ibn Slna)的文本中提取抽象状态机的所有基本要素,我们确认这确实是一种证明搜索算法。该文件还包含对伊本·斯特纳(Ibn STna)阿拉伯语段落的翻译,以及有关文本和翻译的一些注释。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号