Pages that link to "Item:Q1342132"
From MaRDI portal
The following pages link to On the structure of varieties with equationally definable principal congruences. III (Q1342132):
Displayed 17 items.
- Congruence-lattices of discrete RUCS varieties (Q759783) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926) (← links)
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- On subtractive weak Brouwerian semilattices (Q1272152) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- Varieties of BL-algebras. I: General properties. (Q1812017) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- FREGEAN VARIETIES (Q3398314) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)