The following pages link to Varieties of complex algebras (Q2641327):
Displaying 50 items.
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Spectral-like duality for distributive Hilbert algebras with infimum (Q2411689) (← links)
- Quantum B-algebras (Q2440506) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Quasi-modal lattices (Q2572469) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
- Quasi-modal equivalence of canonical structures (Q2747700) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- Stone Duality and the Recognisable Languages over an Algebra (Q2888490) (← links)
- A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0 (Q2931349) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES (Q2976380) (← links)
- (Q3121529) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
- Atomless varieties (Q3160556) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- Duality and Equational Theory of Regular Languages (Q3519505) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
- Distributive Lattices with a Negation Operator (Q4243912) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Complete representations in algebraic logic (Q4372908) (← links)
- Relativised quantification: Some canonical varieties of sequence-set algebras (Q4391430) (← links)
- On axiomatising products of Kripke frames (Q4508270) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- Introducing Boolean Semilattices (Q4586414) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Cylindric modal logic (Q4842635) (← links)
- X Latin American Symposium on Mathematical Logic (Q4897043) (← links)
- (Q5028470) (← links)
- A variety of algebras closely related to subordination algebras (Q5048041) (← links)
- Convolution and concurrency (Q5084483) (← links)
- Finite-Chain Graded Modal Logic (Q5213655) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- (Q5376651) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- (Q5472326) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS (Q5738190) (← links)
