The origin of relation algebras in the development and axiomatization of the calculus of relations
From MaRDI portal
Publication:1189893
DOI10.1007/BF00370681zbMath0754.03042WikidataQ56686427 ScholiaQ56686427MaRDI QIDQ1189893
Publication date: 27 September 1992
Published in: Studia Logica (Search for Journal in Brave)
History of mathematical logic and foundations (03-03) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
