Two axiomatizations of Nelson algebras. (Q491776): Difference between revisions

@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational characterization of Nelson algebra
@@ Property / cites work: Equational characterization of Nelson algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Caracterisation des algèbres de Nelson par des egalités, I
+Normal rank
@@ Property / cites work @@
+Automated Discovery of Properties of Rough Sets
@@ Property / cites work: Automated Discovery of Properties of Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing complemented lattices within Mizar type system
+Normal rank
@@ Property / cites work @@
+Q2767933
@@ Property / cites work: Q2767933 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / 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
@@ Property / cites work @@
+Q5203581
@@ Property / cites work: Q5203581 / rank @@
+Normal rank