The origin of relation algebras in the development and axiomatization of the calculus of relations

DOI10.1007/BF00370681zbMath0754.03042DBLPjournals/sLogica/Maddux91WikidataQ56686427 ScholiaQ56686427MaRDI QIDQ1189893

Roger D. Maddux

Publication date: 27 September 1992

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

zbMATH Keywords

Tarskirelation algebrasDe MorganPeirceLyndon

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (35)

Relational set theory ⋮ Relation-algebraic semantics ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Dynamic logic with program specifications and its relational proof system ⋮ Relation algebras of intervals ⋮ A coalgebraic perspective on logical interpretations ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Residuation in existential graphs ⋮ Programming from metaphorisms ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Seurat games on Stockmeyer graphs ⋮ Towards a linear algebra of programming ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Tarski’s Influence on Computer Science ⋮ Categorical representation theorems of fuzzy relations ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ Tractable approximations for temporal constraint handling ⋮ Goals and benchmarks for automated map reasoning ⋮ An Agg Application Supporting Visual Reasoning1 ⋮ Mathematics Ho! Which modern mathematics was modernist? ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ Normal forms for binary relations ⋮ Relation algebras from cylindric algebras. II ⋮ A representation theorem for measurable relation algebras ⋮ On graph reasoning ⋮ On matrices and \(K\)-relations ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Relational proof systems for spatial reasoning ★ ⋮ Relational demonic fuzzy refinement ⋮ An algebraic formalization of fuzzy relations ⋮ Implicative filters in quasi-ordered residuated systems ⋮ Weak implicative filters in quasi-ordered residuated systems ⋮ The complexity of constraint satisfaction problems for small relation algebras ⋮ Map composition generalized to coherent collections of maps.

Cites Work

• The representation of relation algebras. II
• Relation algebras and projective geometries
• Boolean modules
• Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870
• The algebra of relatives
• On representable relation algebras
• The representation of relational algebras
• Some Varieties Containing Relation Algebras
• On the calculus of relations
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The origin of relation algebras in the development and axiomatization of the calculus of relations