Prelinear algebras in relatively regular quasivarieties (Q2376911): Difference between revisions

@@ Property / cites work @@
+Q3232337
@@ Property / cites work: Q3232337 / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Komplementäre Halbgruppen. Axiomatik und Arithmetik
+Normal rank
@@ Property / cites work @@
+Teilbarkeitshalbgruppen mit vollständiger Erweiterung
+Normal rank
@@ Property / cites work @@
+Q3819120
@@ Property / cites work: Q3819120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Representable good EQ-algebras
@@ Property / cites work: Representable good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of lattice-ordered algebras
@@ Property / cites work: Varieties of lattice-ordered algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595183
@@ Property / cites work: Q5595183 / rank @@
+Normal rank
@@ Property / cites work @@
+Subdirect products of totally ordered BCK-algebras
+Normal rank
@@ Property / cites work @@
+A remark on lattice-ordered semigroups
@@ Property / cites work: A remark on lattice-ordered semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Ideals in universal algebras
@@ Property / cites work: Ideals in universal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with truth values in A linearly ordered heyting algebra
+Normal rank
@@ Property / cites work @@
+Representable pseudo-BCK-algebras and integral residuated lattices
+Normal rank
@@ Property / cites work @@
+Über halbgeordnete Gruppen
@@ Property / cites work: Über halbgeordnete Gruppen / rank @@
+Normal rank
@@ Property / cites work @@
+Sur les demi-groupes réticulés et les O-demi-groupes. (Lattice ordered semigroups and O-semigroups)
+Normal rank
@@ Property / cites work @@
+Q3874204
@@ Property / cites work: Q3874204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3775561
@@ Property / cites work: Q3775561 / rank @@
+Normal rank
@@ Property / cites work @@
+Dually residuated lattice ordered semigroups. III
@@ Property / cites work: Dually residuated lattice ordered semigroups. III / rank @@
+Normal rank
@@ Property / cites work @@
+Representable biresiduated lattices
@@ Property / cites work: Representable biresiduated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with disjunction and proof by cases
@@ Property / cites work: Logics with disjunction and proof by cases / rank @@
+Normal rank