A functional completeness theorem for De Morgan functions. (Q741709): Difference between revisions

@@ Property / author @@
+Yuri M. Movsisyan
@@ Property / author: Yuri M. Movsisyan / rank @@
+Normal rank
@@ Property / author @@
+Vahagn A. Aslanyan
@@ Property / author: Vahagn A. Aslanyan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JBool
@@ Property / describes a project that uses: JBool / 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.1016/j.dam.2013.08.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1997507765
@@ Property / OpenAlex ID: W1997507765 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Lyndon's finite basis theorem
@@ Property / cites work: A proof of Lyndon's finite basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+A CHARACTERIZATION OF de MORGAN ALGEBRAS
@@ Property / cites work: A CHARACTERIZATION OF de MORGAN ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077976
@@ Property / cites work: Q3077976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2784580
@@ Property / cites work: Q2784580 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory: Foundation
@@ Property / cites work: Lattice Theory: Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone Boolean functions
@@ Property / cites work: Monotone Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Function Algebras on Finite Sets
@@ Property / cites work: Function Algebras on Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993246
@@ Property / cites work: Q3993246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998094
@@ Property / cites work: Q3998094 / rank @@
+Normal rank
@@ Property / cites work @@
+HYPERIDENTITIES OF BOOLEAN ALGEBRAS
@@ Property / cites work: HYPERIDENTITIES OF BOOLEAN ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras with hyperidentities of the variety of Boolean algebras
+Normal rank
@@ Property / cites work @@
+Hyperidentities in algebras and varieties
@@ Property / cites work: Hyperidentities in algebras and varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531621
@@ Property / cites work: Q4531621 / rank @@
+Normal rank
@@ Property / cites work @@
+BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
+Normal rank
@@ Property / cites work @@
+Q2932875
@@ Property / cites work: Q2932875 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperidentities of De Morgan algebras
@@ Property / cites work: Hyperidentities of De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras with hyperidentities of the variety of De Morgan algebras.
+Normal rank
@@ Property / cites work @@
+Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
+Normal rank
@@ Property / cites work @@
+Post's functional completeness theorem
@@ Property / cites work: Post's functional completeness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996846
@@ Property / cites work: Q3996846 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Q3861449
@@ Property / cites work: Q3861449 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
+Normal rank