On the variety generated by bounded pseudo-BCK-algebras (Q616842): Difference between revisions

@@ Property / cites work @@
+On the quasivariety of BCK-algebras and its subvarieties
+Normal rank
@@ Property / cites work @@
+Varieties of commutative residuated integral pomonoids and their residuation subreducts
+Normal rank
@@ Property / cites work @@
+Pseudoeffect algebras. I: Basic properties
@@ Property / cites work: Pseudoeffect algebras. I: Basic properties / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudoeffect algebras. II: Group representations
@@ Property / cites work: Pseudoeffect algebras. II: Group representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2737556
@@ Property / cites work: Q2737556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752146
@@ Property / cites work: Q2752146 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded BCK-algebras and their generated variety
@@ Property / cites work: Bounded BCK-algebras and their generated variety / rank @@
+Normal rank
@@ Property / cites work @@
+An algebra related with a propositional calculus
@@ Property / cites work: An algebra related with a propositional calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4115148
@@ Property / cites work: Q4115148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165379
@@ Property / cites work: Q4165379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752409
@@ Property / cites work: Q2752409 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q5701829
@@ Property / cites work: Q5701829 / rank @@
+Normal rank
@@ Property / cites work @@
+Representable pseudo-BCK-algebras and integral residuated lattices
+Normal rank
@@ Property / cites work @@
+A non-commutative generalization of MV-algebras
@@ Property / cites work: A non-commutative generalization of MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras
+Normal rank
@@ Property / cites work @@
+Q4465175
@@ Property / cites work: Q4465175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666901
@@ Property / cites work: Q3666901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666903
@@ Property / cites work: Q3666903 / rank @@
+Normal rank