scientific article; zbMATH DE number 3269000
From MaRDI portal
Publication:5553248
zbMath0168.00106MaRDI QIDQ5553248
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (34)
A perspective on the theory of relation algebras ⋮ Distribution and proportion ⋮ Relation-algebraic semantics ⋮ Two early Arabic applications of model-theoretic consequence ⋮ Vagueness: where degree-based approaches are useful, and where we can do without ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ Mitsch's order and inclusion for binary relations and partitions. ⋮ The medieval theory of consequence ⋮ Residuation in existential graphs ⋮ The Representation of Negative Terms with Euler Diagrams ⋮ Lewis Carroll’s Almost Diagrammatic Logic Notation ⋮ Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ French logique and British logic: on the origins of Augustus De Morgan's early logical inquiries, 1805--1835. ⋮ The development of probability logic from leibniz to maccoll ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ Pair-Dense Relation Algebras ⋮ John Buridan’s Theory of Consequence and His Octagons of Opposition ⋮ Domains of Sciences, Universes of Discourse and Omega Arguments ⋮ The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900 ⋮ Head or tail? de morgan on the bounds of traditional logic ⋮ De Morgan in the Prehistory of Statistical Hypothesis Testing ⋮ Peirce, frege, the logic of relations, and church's theorem ⋮ The correspondence between george boole and stanley jevons, 1863–1864 ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ Cylindric structures and dependencies in relational databases ⋮ An Athenaeum Curiosity: De Morgan's Reviews of Boole and Jevons ⋮ A proof system for contact relation algebras ⋮ A new approach to cyclic ordering of 2D orientations using ternary relation algebras ⋮ British mathematics 1837–1901 ⋮ Investigating Knowledge and Opinion ⋮ The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry ⋮ Interpretability of first-order linear temporal logics in fork algebras
This page was built for publication:
