Pages that link to "Item:Q1839272"
From MaRDI portal
The following pages link to On the structure of varieties with equationally definable principal congruences. I (Q1839272):
Displaying 50 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- Congruence-lattices of discrete RUCS varieties (Q759783) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- A finite basis theorem for quasivarieties (Q1061158) (← links)
- Discriminator polynomials and arithmetical varieties (Q1076049) (← links)
- Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities (Q1117257) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Universal algebras (Q1173984) (← links)
- Finite bases for finitely generated, relatively congruence distributive quasivarities (Q1179764) (← links)
- Axiomatizing logics closely related to varieties (Q1189901) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- Quasivarieties of distributive \(p\)-algebras (Q1208068) (← links)
- On reduced matrices (Q1208116) (← links)
- On the structure of varieties with equationally definable principal congruences. IV (Q1315322) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- The determination of subvarieties of certain congruence-distributive varieties (Q1337159) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- On Ockham algebras: Congruence lattices and subdirectly irreducible algebras (Q1902556) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- Semisimple varieties of modal algebras (Q2433105) (← links)
- Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Algebras defined from ordered sets and the varieties they generate (Q2503153) (← links)
- Operator properties of congruence permutable varieties with strongly definable principal congruences. (Q2634707) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Congruence lattices in varieties with compact intersection property (Q2940630) (← links)
- FREGEAN VARIETIES (Q3398314) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic (Q3520229) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- Double <i>MS<sub>n</sub></i>-algebras and double <i>K<sub>n.m</sub></i>-algebras (Q4202632) (← links)
- Fregean subtractive varieties with definable congruence (Q4531552) (← links)
