The following pages link to Boolean Algebras with Operators (Q5810599):
Displaying 50 items.
- Current trends in substructural logics (Q266641) (← links)
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
- Relational semantics for full linear logic (Q280840) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- On some congruences of power algebras (Q424123) (← links)
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- Groupoid quantales: A non-étale setting (Q534017) (← links)
- Dedekind categories with cutoff operators (Q549312) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- Rational spaces and set constraints (Q671675) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Representability of Ramsey relation algebras (Q745708) (← links)
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- A sequent calculus for relation algebras (Q786804) (← links)
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Completion of Boolean algebras in MSet (Q1035677) (← links)
- The case of Piaget's group INRC (Q1061687) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Relation algebras and Schröder categories (Q1105596) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Boolean modules (Q1154462) (← links)
- Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Towards automating duality (Q1343394) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Four-valued logic (Q1422105) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- A new algebraic approach to L-fuzzy relations convenient to study crispness (Q1602557) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Relation algebras and groups (Q1652847) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- The convolution algebra (Q1652865) (← links)
- Compatibility of fuzzy power relations (Q1677934) (← links)
- Categories of relations for variable-basis fuzziness (Q1677945) (← links)
- A note on the relation between categories and hyperstructures (Q1688654) (← links)