Q4531081 (Q4531081): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the quasivariety of BCK-algebras and its subvarieties
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearization of the BCK-logic
@@ Property / cites work: Linearization of the BCK-logic / 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 @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4531081