Pages that link to "Item:Q1653548"
From MaRDI portal
The following pages link to Two early Arabic applications of model-theoretic consequence (Q1653548):
Displaying 6 items.
- Universal logic: evolution of a project (Q1653546) (← links)
- Medieval Arabic Notions of Algorithm: Some Further Raw Evidence (Q5049046) (← links)
- Schopenhauer’s Eulerian Diagrams (Q5118386) (← links)
- A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS (Q6041341) (← links)
- Ex incompatibilitate sequitur quodlibet (The explosiveness of incompatibility and the compatibility of negation) (Q6610483) (← links)
- Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition (Q6623814) (← links)
