Boolean Algebras with Operators
From MaRDI portal
Publication:5810599
DOI10.2307/2372074zbMath0045.31601OpenAlexW1992205482MaRDI QIDQ5810599
Publication date: 1952
Published in: American Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2372074
Related Items
Convolution as a Unifying Concept ⋮ Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras ⋮ Unnamed Item ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ The lattice of varieties of representable relation algebras ⋮ Distributive and completely distributive lattice extensions of ordered sets ⋮ Information algebras ⋮ Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests ⋮ Weakening Relation Algebras and FL$$^2$$-algebras ⋮ More about divisibility in βN ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ Topological duality and algebraic completions ⋮ Expressibility of properties of relations ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Logical analysis of emotions in text from natural language ⋮ Step by step – Building representations in algebraic logic ⋮ Unnamed Item ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Unnamed Item ⋮ A representation theorem for measurable relation algebras with cyclic groups ⋮ Undecidability of representability as binary relations ⋮ MacNeille completions and canonical extensions ⋮ Complete representations in algebraic logic ⋮ THE VARIETY OF COSET RELATION ALGEBRAS ⋮ Canonical extensions and relational completeness of some substructural logics ⋮ Multi-Sorted Residuation ⋮ Bounded lattice expansions ⋮ Completeness of a relational calculus for program schemes ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ 2004 Spring Meeting of the Association for Symbolic Logic ⋮ Unnamed Item ⋮ Distributed Relation Logic ⋮ Relation algebras from cylindric algebras. I ⋮ Stone duality, topological algebra, and recognition. ⋮ Rational spaces and set constraints ⋮ Finite-Chain Graded Modal Logic ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Modal translation of substructural logics ⋮ Unnamed Item ⋮ Inequivalent representations of geometric relation algebras ⋮ A relational semantics for the logic of bounded lattices ⋮ Unnamed Item ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Context Algebras, Context Frames, and Their Discrete Duality ⋮ Canonical Extensions, Esakia Spaces, and Universal Models ⋮ Undecidability of Algebras of Binary Relations ⋮ Canonical Relativized Cylindric Set Algebras and Weak Associativity ⋮ Tarskian Classical Relevant Logic ⋮ Quantum monadic algebras ⋮ Canonical extensions of lattices are more than perfect ⋮ Current trends in substructural logics ⋮ Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras ⋮ Relational semantics for full linear logic ⋮ Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ Towards automating duality ⋮ Dependencies in relational models of databases ⋮ A relation algebraic model of robust correctness ⋮ Relation-algebraic semantics ⋮ Relational Representation Theorem for Powerset Quantales ⋮ Varieties of complex algebras ⋮ Grothendieck ring of the pairing function without cycles ⋮ Representations for small relation algebras ⋮ Relation algebras and Schröder categories ⋮ Relation algebras and groups ⋮ Subcompletions of representable relation algebras ⋮ The convolution algebra ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ Atom structures of cylindric algebras and relation algebras ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Undecidable semiassociative relation algebras ⋮ Duality for modal \(\mu\)-logics ⋮ Compatibility of fuzzy power relations ⋮ Categories of relations for variable-basis fuzziness ⋮ Duality results for (co)residuated lattices ⋮ A note on the relation between categories and hyperstructures ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Relation algebras of every dimension ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Catoids and modal convolution algebras ⋮ Some Varieties Containing Relation Algebras ⋮ Complete Abstractions and Subclassical Modal Logics ⋮ On some congruences of power algebras ⋮ B-frame duality ⋮ Boolean modules ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ Representability is not decidable for finite relation algebras ⋮ Relational characterisations of paths ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Quantum B-algebras ⋮ Four-valued logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Duality and canonical extensions for stably compact spaces ⋮ Combining relational calculus and the Dijkstra-Gries method for deriving relational programs ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Canonical extensions of posets. ⋮ Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ Tractable approximations for temporal constraint handling ⋮ Undecidable theories of Lyndon algebras ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Rational spaces and set constraints ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Tribute to Bjarni Jónsson ⋮ Cylindric algebras and finite polyadic algebras ⋮ Term algebras of elementarily equivalent atom structures ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Pair-Dense Relation Algebras ⋮ Groupoid quantales: A non-étale setting ⋮ Algebras for Galois-style connections and their discrete duality ⋮ Dedekind categories with cutoff operators ⋮ A Sahlqvist theorem for distributive modal logic ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Computational complexity for bounded distributive lattices with negation ⋮ A representation theorem for measurable relation algebras ⋮ Canonical extensions and ultraproducts of polarities ⋮ On ultrafilter extensions of first-order models and ultrafilter interpretations ⋮ Solving the \$100 modal logic challenge ⋮ Primitive Satisfaction and Equational Problems for Lattices and Other Algebras ⋮ Representability of Ramsey relation algebras ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ An undecidability result for relation algebras ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Canonical extensions of locally compact frames ⋮ Varieties generated by completions ⋮ ON DEFINABILITY IN MULTIMODAL LOGIC ⋮ Completion of Boolean algebras in MSet ⋮ The structure of generalized BI-algebras and weakening relation algebras ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ 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 sequent calculus for relation algebras ⋮ A completion for distributive nearlattices ⋮ Relational demonic fuzzy refinement ⋮ Tarskian set constraints ⋮ The case of Piaget's group INRC ⋮ Relation algebras: Concept of points and representability ⋮ A topological duality for monotone expansions of semilattices ⋮ Equational Reasoning in Non-Classical Logics ⋮ A new algebraic approach to L-fuzzy relations convenient to study crispness ⋮ Dualities for modal algebras from the point of view of triples ⋮ The complexity of constraint satisfaction problems for small relation algebras
