Symmetric implication zroupoids and identities of Bol-Moufang type (Q1800250): Difference between revisions

@@ Property / DOI @@
-.1007/s00500-017-2869-z
@@ Property / DOI: 10.1007/s00500-017-2869-z / rank @@
-Normal rank
@@ Property / author @@
-Juan Manuel Cornejo
@@ Property / author: Juan Manuel Cornejo / rank @@
-Normal rank
@@ Property / author @@
+Juan Manuel Cornejo
@@ Property / author: Juan Manuel Cornejo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962945689
@@ Property / OpenAlex ID: W2962945689 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10561
@@ Property / arXiv ID: 1710.10561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+A Set of Four Postulates for Boolean Algebra in Terms of the "Implicative" Operation
+Normal rank
@@ Property / cites work @@
+On implicator groupoids
@@ Property / cites work: On implicator groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Order in implication zroupoids
@@ Property / cites work: Order in implication zroupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Semisimple varieties of implication zroupoids
@@ Property / cites work: Semisimple varieties of implication zroupoids / rank @@
+Normal rank
@@ Property / cites work @@
+On derived algebras and subvarieties of implication zroupoids
+Normal rank
@@ Property / cites work @@
+Q5625475
@@ Property / cites work: Q5625475 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasigroups, loops, and associative laws
@@ Property / cites work: Quasigroups, loops, and associative laws / rank @@
+Normal rank
@@ Property / cites work @@
+The varieties of loops of Bol-Moufang type.
@@ Property / cites work: The varieties of loops of Bol-Moufang type. / rank @@
+Normal rank
@@ Property / cites work @@
+The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach.
+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
@@ Property / cites work @@
+Q2839845
@@ Property / cites work: Q2839845 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00500-017-2869-Z
@@ Property / DOI: 10.1007/S00500-017-2869-Z / rank @@
+Normal rank