Boolean Algebras with Operators
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Solving the \$100 modal logic challenge
- Completion of Boolean algebras in MSet
- The case of Piaget's group INRC
- Relation algebras: Concept of points and representability
- Relation algebras and Schröder categories
- Duality for modal \(\mu\)-logics
- Boolean modules
- Programs as partial graphs. I: Flow equivalence and correctness
- Finite equational bases for finite algebras in a congruence-distributive equational class
- 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
- Towards automating duality
- A relation algebraic model of robust correctness
- Relation-algebraic semantics
- Parallel constructions of maximal path sets and applications to short superstrings
- Atom structures of cylindric algebras and relation algebras
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Four-valued logic
- Mathematical modal logic: A view of its evolution
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
- A new algebraic approach to L-fuzzy relations convenient to study crispness
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Relation algebras and groups
- Subcompletions of representable relation algebras
- The convolution algebra
- Compatibility of fuzzy power relations
- Categories of relations for variable-basis fuzziness
- A note on the relation between categories and hyperstructures
- A representation theorem for measurable relation algebras
- Canonical extensions and ultraproducts of polarities
- On the structure of varieties with equationally definable principal congruences. I
- Tarskian set constraints
- Representations for small relation algebras
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Tractable approximations for temporal constraint handling
- 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
- Computational complexity for bounded distributive lattices with negation
- On ultrafilter extensions of first-order models and ultrafilter interpretations
- A topological duality for monotone expansions of semilattices
- Canonical extensions of lattices are more than perfect
- Grothendieck ring of the pairing function without cycles
- Relational characterisations of paths
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Varieties of semiassociative relation algebras and tense algebras
- Canonical extensions of locally compact frames
- Varieties generated by completions
- A completion for distributive nearlattices
- Relational demonic fuzzy refinement
- Dualities for modal algebras from the point of view of triples
- Dependencies in relational models of databases
- Duality results for (co)residuated lattices
- Quantum B-algebras
- Varieties of complex algebras
- Current trends in substructural logics
- Duality for normal lattice expansions and sorted residuated frames with relations
- Catoids and modal convolution algebras
- B-frame duality
- 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
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
- Undecidable theories of Lyndon algebras
- Relational semantics for full linear logic
- Relational representation theorem for powerset quantales.
- Complete abstractions and subclassical modal logics
- Canonicity results of substructural and lattice-based logics
- Positive fragments of relevance logic and algebras of binary relations
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Nonrepresentable relation algebras from groups
- ON DEFINABILITY IN MULTIMODAL LOGIC
- Some Varieties Containing Relation Algebras
- Pair-Dense Relation Algebras
- Relation algebras of every dimension
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Algebraic proof theory for substructural logics: cut-elimination and completions
- An undecidability result for relation algebras
- Equational Reasoning in Non-Classical Logics
- On some congruences of power algebras
- Undecidable semiassociative relation algebras
- The lattice of varieties of representable relation algebras
- Step by step – Building representations in algebraic logic
- Complete representations in algebraic logic
- Inequivalent representations of geometric relation algebras
- Distributive and completely distributive lattice extensions of ordered sets
- Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
- A representation theorem for measurable relation algebras with cyclic groups
- The variety of coset relation algebras
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Canonical extensions of posets.
- Erdős Graphs Resolve Fine's Canonicity Problem
- 2004 Spring Meeting of the Association for Symbolic Logic
- Distributed Relation Logic
- Expressibility of properties of relations
- Undecidability of representability as binary relations
- Undecidability of Algebras of Binary Relations
This page was built for publication: Boolean Algebras with Operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5810599)
