Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes (Q2387440): Difference between revisions

Revision as of 15:00, 10 June 2024

scientific article

Language	Label	Description	Also known as
English	Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes	scientific article

Statements

instance of

scholarly article

0 references

title

Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes (English)

0 references

published in

Discrete Applied Mathematics

0 references

publication date

2 September 2005

0 references

review text

The Post classes are characterized in terms of forbidden subfunctions and, based on these results, a short proof of Post's theorem (a class of Boolean functions is closed iff it is a Post class) is given.

0 references

zbMATH Keywords

hereditary classes of Boolean functions

0 references

closed classes

0 references

Post theorem

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.dam.2004.06.028

0 references

cites work

Q5341810

0 references

Post's closed systems and the weak chromatic number of hypergraphs

0 references

From logical gates synthesis to chromatic bicritical clutters

0 references

Q4166695

0 references

Post classes characterized by functional terms

0 references

Inductive representations of Boolean functions and the finite generation of the Post classes

0 references

Q3994450

0 references

Q4888382

0 references

Algebraic logic. Transl. from the Russian by Robert H. Silverman

0 references

Q4051622

0 references

On congruences in closed Post classes

0 references

0 references

0 references

0 references

0 references

0 references

Existence of finite bases in closed classes of Boolean functions

0 references

0 references

0 references

0 references

0 references

Post's functional completeness theorem

0 references

Q4354427

0 references

The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

1086.06015

0 references

DOI

10.1016/j.dam.2004.06.028

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2387440

@@ Property / cites work @@
+Q5341810
@@ Property / cites work: Q5341810 / rank @@
+Normal rank
@@ Property / cites work @@
+Post's closed systems and the weak chromatic number of hypergraphs
+Normal rank
@@ Property / cites work @@
+From logical gates synthesis to chromatic bicritical clutters
+Normal rank
@@ Property / cites work @@
+Q4166695
@@ Property / cites work: Q4166695 / rank @@
+Normal rank
@@ Property / cites work @@
+Post classes characterized by functional terms
@@ Property / cites work: Post classes characterized by functional terms / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive representations of Boolean functions and the finite generation of the Post classes
+Normal rank
@@ Property / cites work @@
+Q3994450
@@ Property / cites work: Q3994450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888382
@@ Property / cites work: Q4888382 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic logic. Transl. from the Russian by Robert H. Silverman
+Normal rank
@@ Property / cites work @@
+Q4051622
@@ Property / cites work: Q4051622 / rank @@
+Normal rank
@@ Property / cites work @@
+On congruences in closed Post classes
@@ Property / cites work: On congruences in closed Post classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146710
@@ Property / cites work: Q4146710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798640
@@ Property / cites work: Q3798640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3474689
@@ Property / cites work: Q3474689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326645
@@ Property / cites work: Q4326645 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5735230
@@ Property / cites work: Q5735230 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of finite bases in closed classes of Boolean functions
+Normal rank
@@ Property / cites work @@
+Q4948330
@@ Property / cites work: Q4948330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520903
@@ Property / cites work: Q4520903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2755142
@@ Property / cites work: Q2755142 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001697
@@ Property / cites work: Q4001697 / rank @@
+Normal rank
@@ Property / cites work @@
+Post's functional completeness theorem
@@ Property / cites work: Post's functional completeness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Q3834101
@@ Property / cites work: Q3834101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803182
@@ Property / cites work: Q3803182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132093
@@ Property / cites work: Q4132093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547558
@@ Property / cites work: Q5547558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824460
@@ Property / cites work: Q3824460 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3807200
@@ Property / cites work: Q3807200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815241
@@ Property / cites work: Q3815241 / rank @@
+Normal rank