Boolean Algebras with Operators. Part I
From MaRDI portal
Publication:5810598
DOI10.2307/2372123zbMath0045.31505WikidataQ106090695 ScholiaQ106090695MaRDI QIDQ5810598
Publication date: 1951
Published in: American Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2372123
Related Items
Relativised quantification: Some canonical varieties of sequence-set algebras, Perfect extensions and derived algebras, Grafted frames and S1 -completeness, Topologies, Continuity and Bisimulations, Free algebras in discriminator varieties, Rational spaces and set constraints, One variable is not enough for defining relation algebras, but two are, Language in action, Remarks on Priestley duality for distributive lattices, The origin of relation algebras in the development and axiomatization of the calculus of relations, Algebraization of quantifier logics, an introductory overview, Unifying threads in Alfred Tarski's work, Notions of density that imply representability in algebraic logic, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, A perspective on the theory of relation algebras, Peirce algebras, On the canonicity of Sahlqvist identities, On the structure of varieties with equationally definable principal congruences. III, Towards automating duality, Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras, Relation-algebraic semantics, Parallel constructions of maximal path sets and applications to short superstrings, Complexity of equations valid in algebras of relations. II: Finite axiomatizations, A proof system for contact relation algebras, Power structures, Decision problems for distributive lattice-ordered semigroups, Predicate transformers as power operations, Perfect extensions of regular double Stone algebras, Representations for small relation algebras, Total tense algebras and symmetric semiassociative relation algebras, Elementary generation and canonicity for varieties of Boolean algebras with operators, Axiomatization of identity-free equations valid in relation algebras, Duality for algebras of relevant logics, Relativizations of relation algebras by the diversity, Subalgebras of closure algebras, Properties of independently axiomatizable bimodal logics, Relation algebras of every dimension, Pair-Dense Relation Algebras, Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic, Finite algebras of relations are representable on finite sets
