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

@@ Property / Mathematics Subject Classification ID @@
+D30
@@ Property / Mathematics Subject Classification ID: 06D30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6473586
@@ Property / zbMATH DE Number: 6473586 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quasi-pseudo-Boolean algebras
@@ Property / zbMATH Keywords: quasi-pseudo-Boolean algebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Nelson lattices
@@ Property / zbMATH Keywords: Nelson lattices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+De Morgan lattices
@@ Property / zbMATH Keywords: De Morgan lattices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formalization
@@ Property / zbMATH Keywords: formalization / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/forma-2015-0012
+Normal rank
@@ Property / OpenAlex ID @@
+W2247065077
@@ Property / OpenAlex ID: W2247065077 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:491776