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 20 items.
- A Mathematical Life (Q4586411) (← links)
- Introducing Boolean Semilattices (Q4586414) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- (Q5179121) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- The word problem for discriminator varieties (Q5894715) (← links)
- Free algebras in discriminator varieties (Q5905422) (← links)
- The word problem for discriminator varieties (Q5905515) (← links)
- Varieties of K-lattices (Q6079407) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences (Q6562371) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
- On pretabular extensions of relevance logic (Q6636375) (← links)