Transitivity of implicative aBE algebras (Q6158238): Difference between revisions

@@ Property / cites work @@
+On axiom systems of propositional calculi, XIV
@@ Property / cites work: On axiom systems of propositional calculi, XIV / rank @@
+Normal rank
@@ Property / cites work @@
+Q4583886
@@ Property / cites work: Q4583886 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165379
@@ Property / cites work: Q4165379 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzifications of generalized Tarski filters in Tarski algebras
+Normal rank
@@ Property / cites work @@
+Q5301321
@@ Property / cites work: Q5301321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5212289
@@ Property / cites work: Q5212289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291526
@@ Property / cites work: Q4291526 / rank @@
+Normal rank
@@ Property / cites work @@
+On implicative BE algebras
@@ Property / cites work: On implicative BE algebras / rank @@
+Normal rank