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):
Displaying 42 items.
- Hoop twist-structures (Q334145) (← links)
- Boolean-like algebras (Q353355) (← links)
- 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)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Factor varieties (Q1701682) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- Varieties of BL-algebras. I: General properties. (Q1812017) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← 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)
- Implicative twist-structures (Q2449455) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Fuzzy ideals in pseudo-hoop algebras (Q2693245) (← links)
- FREGEAN VARIETIES (Q3398314) (← links)
- A Mathematical Life (Q4586411) (← links)
- Introducing Boolean Semilattices (Q4586414) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Quasi-Nelson algebras and fragments (Q5022928) (← links)
- Negation and Implication in Quasi-Nelson Logic (Q5059693) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- On noncommutative generalisations of Boolean algebras (Q5210625) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- (Q5863834) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
