The following pages link to (Q5553248):
Displayed 20 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- Distribution and proportion (Q1346218) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- French ''logique'' and British ''logic'': on the origins of Augustus De Morgan's early logical inquiries, 1805--1835. (Q1415596) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
- Domains of Sciences, Universes of Discourse and Omega Arguments (Q2757989) (← links)
- The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900 (Q2757996) (← links)
- Peirce, frege, the logic of relations, and church's theorem (Q3346278) (← links)
- British mathematics 1837–1901 (Q3426309) (← links)
- De Morgan in the Prehistory of Statistical Hypothesis Testing (Q3592408) (← links)
- The development of probability logic from leibniz to maccoll (Q3807151) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- Head or tail? de morgan on the bounds of traditional logic (Q4391327) (← links)
- An Athenaeum Curiosity: De Morgan's Reviews of Boole and Jevons (Q4707461) (← links)
- The correspondence between george boole and stanley jevons, 1863–1864 (Q5752535) (← links)
- Cylindric structures and dependencies in relational databases (Q5958623) (← links)