Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic

DOI10.1007/978-3-642-15025-8_18zbMath1287.01008OpenAlexW1483950873MaRDI QIDQ3586011

Wilfrid Hodges

Publication date: 3 September 2010

Published in: Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_18

zbMATH Keywords

syllogismproof searchabstract state machineAvicennaIbn Sīnā

Mathematics Subject Classification ID

History of mathematics in the Golden Age of Islam (01A30)

Related Items (3)

Medieval Arabic Notions of Algorithm: Some Further Raw Evidence ⋮ Logical consequence in Avicenna's theory ⋮ IBN SĪNĀ ON REDUCTIO AD ABSURDUM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Traditional logic, modern logic and natural language
• Can abstract state machines be useful in language theory?
• A mathematical definition of full Prolog
• Abstract State Machines

This page was built for publication: Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic