Factor varieties (Q1701682): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2911856895
@@ Property / OpenAlex ID: W2911856895 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bounds on the sizes of finitely generated algebras
+Normal rank
@@ Property / cites work @@
+Representations by algebras of sections over Boolean spaces
+Normal rank
@@ Property / cites work @@
+Skew Boolean algebras and discriminator varieties
@@ Property / cites work: Skew Boolean algebras and discriminator varieties / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+Varieties of ordered algebras
@@ Property / cites work: Varieties of ordered algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508551
@@ Property / cites work: Q4508551 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Logic with Strong Negation as a Substructural Logic
+Normal rank
@@ Property / cites work @@
+Ideals and the binary discriminator in universal algebra
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
+Normal rank
@@ Property / cites work @@
+The connection of skew Boolean algebras and discriminator varieties to Church algebras
+Normal rank
@@ Property / cites work @@
+Equational characterization for two-valued states in orthomodular quantum systems
+Normal rank
@@ Property / cites work @@
+Q4177625
@@ Property / cites work: Q4177625 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+First-order definability in modal logic
@@ Property / cites work: First-order definability in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5410346
@@ Property / cites work: Q5410346 / rank @@
+Normal rank
@@ Property / cites work @@
+Skew lattices in rings
@@ Property / cites work: Skew lattices in rings / rank @@
+Normal rank
@@ Property / cites work @@
+Recent developments in the theory of skew lattices
+Normal rank
@@ Property / cites work @@
+From λ-Calculus to Universal Algebra and Back
@@ Property / cites work: From λ-Calculus to Universal Algebra and Back / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-discriminator varieties
@@ Property / cites work: Quasi-discriminator varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Representable idempotent commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+Varieties of modular ortholattices
@@ Property / cites work: Varieties of modular ortholattices / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean-like algebras
@@ Property / cites work: Boolean-like algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties in which the Pierce stalks are directly indecomposable
+Normal rank
@@ Property / cites work @@
+Equational characterization of the quaternary discriminator
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank