Two early Arabic applications of model-theoretic consequence

DOI10.1007/s11787-018-0187-6zbMath1395.01011OpenAlexW2789898524WikidataQ130089182 ScholiaQ130089182MaRDI QIDQ1653548

Wilfrid Hodges

Publication date: 6 August 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-018-0187-6

zbMATH Keywords

Arabic logiclogic diagrammodel-theoretic consequence

Mathematics Subject Classification ID

History of mathematics in the Golden Age of Islam (01A30) Applications of model theory (03C98) Mathematics and visual arts (00A66)

Related Items (4)

Medieval Arabic Notions of Algorithm: Some Further Raw Evidence ⋮ Universal logic: evolution of a project ⋮ A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS ⋮ Schopenhauer’s Eulerian Diagrams

Cites Work

• A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn
• Unnamed Item

This page was built for publication: Two early Arabic applications of model-theoretic consequence