The following pages link to Varieties of complex algebras (Q2641327):
Displayed 50 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- Modes of adjointness (Q484110) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Boolean algebras arising from information systems (Q598303) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Monadic bounded algebras (Q708923) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator (Q1016093) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- The structure of lattices of subframe logics (Q1361249) (← 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)
- False though partly true -- an experiment in logic (Q1425194) (← links)
- Covering-based rough sets and modal logics. II. (Q1642771) (← links)
- The convolution algebra (Q1652865) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Power structures (Q1802251) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- Perfect extensions of regular double Stone algebras (Q1902544) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Distributive lattices with an operator (Q1914067) (← links)
- Varieties generated by modes of submodes (Q1935016) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Irreducible equivalence relations, Gleason spaces, and de Vries duality (Q2014017) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- On ultrafilter extensions of first-order models and ultrafilter interpretations (Q2042734) (← links)
- Priestley duality for MV-algebras and beyond (Q2121252) (← links)
- Modules with fusion and implication based over distributive lattices: representation and duality (Q2122479) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- A duality theoretic view on limits of finite structures (Q2200829) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- A topological approach to MTL-algebras (Q2324842) (← links)
- Residuation algebras with functional duals (Q2325603) (← links)