Boolean modules

DOI10.1016/0021-8693(81)90179-4zbMath0465.03028OpenAlexW4206357041MaRDI QIDQ1154462

Chris Brink

Publication date: 1981

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(81)90179-4

zbMATH Keywords

representabilityrelation algebrasimplicityrelative productsubdirect decompositionsBoolean modulesPeircean product of a relation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Logical aspects of Boolean algebras (03G05) Relational systems, laws of composition (08A02) Theory of modules and ideals in commutative rings (13C99)

Related Items

Bjarni Jónsson's contributions in algebra, Peirce algebras, Relation algebras and Schröder categories, Inductive semimodules and the vector modules over them., The logic of Peirce algebras, Dynamic logic with program specifications and its relational proof system, Recognizability in residuated lattices, The origin of relation algebras in the development and axiomatization of the calculus of relations, Dynamic algebras: Examples, constructions, applications, Subsumption computed algebraically, Monoids with tests and the algebra of possibly non-halting programs, Power structures, A system of dynamic modal logic, ON STRUCTURAL QUASI-IDEALS AND THEIR IDEALIZERS IN STRUCTURAL MATRIX RINGS, Congruences and ideals on Boolean modules: a heterogeneous point of view, Multigrade extension of relational grammar, Kleene modules and linear languages

Cites Work

• The representation of relation algebras. II
• On representable relation algebras
• The representation of relational algebras
• The algebra of topology
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item