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

DOI10.1017/S1755020321000332zbMATH Open1519.01010OpenAlexW4205606075MaRDI QIDQ6041341FDOQ6041341

Authors: 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

Recommendations

• Two early Arabic applications of model-theoretic consequence
• Publication:3476759
• Necessity in Avicenna and the Arabic Tradition
• On the employment of geometrical diagrams for the sensible representation of logical propositions.
• scientific article; zbMATH DE number 1862470
• Tūsī on Avicenna’s Logical Connectives^∗
• scientific article; zbMATH DE number 5066364
• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
• The Arabic translation of Aristotle's First Analytics
• Diagrammatic Representation and Inference

zbMATH Keywords

syllogismcorrectness proofdecision methodmodel-theoretic consequencelogical diagram

Mathematics Subject Classification ID

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

Cites Work

• Maintaining knowledge about temporal intervals
• What is a syllogism?
• Arabic logic from al-Fārābī to Averroes. A study of the early Arabic categorical, modal, and hypothetical syllogistics
• Minimal covers of finite sets
• Two early Arabic applications of model-theoretic consequence
• Title not available (Why is that?)
• Affirmative and negative in Ibn Sīnā
• A sixth century elementary introduction to logic

Cited In (1)

• Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041341)