A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS

DOI10.1017/s1755020321000332zbMath1519.01010OpenAlexW4205606075MaRDI QIDQ6041341

Wilfrid Hodges

Publication date: 26 May 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020321000332

zbMATH Keywords

syllogismcorrectness proofdecision methodmodel-theoretic consequencelogical diagram

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) History of mathematics in the Golden Age of Islam (01A30)

Cites Work

• Maintaining knowledge about temporal intervals
• Two early Arabic applications of model-theoretic consequence
• What is a syllogism?
• Minimal covers of finite sets
• Arabic Logic from al-Fārābī to Averroes
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS