Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
From MaRDI portal
Publication:2387440
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.
Recommendations
Cites work
- Algebraic logic. Transl. from the Russian by Robert H. Silverman
- Closed classes of Boolean functions. 2nd ed.
- Existence of finite bases in closed classes of Boolean functions
- From logical gates synthesis to chromatic bicritical clutters
- scientific article; zbMATH DE number 4142097 (Why is no real title available?)
- scientific article; zbMATH DE number 4064963 (Why is no real title available?)
- scientific article; zbMATH DE number 4070986 (Why is no real title available?)
- scientific article; zbMATH DE number 4075052 (Why is no real title available?)
- scientific article; zbMATH DE number 4085569 (Why is no real title available?)
- scientific article; zbMATH DE number 4097447 (Why is no real title available?)
- scientific article; zbMATH DE number 4110759 (Why is no real title available?)
- scientific article; zbMATH DE number 41200 (Why is no real title available?)
- scientific article; zbMATH DE number 51303 (Why is no real title available?)
- scientific article; zbMATH DE number 3466537 (Why is no real title available?)
- scientific article; zbMATH DE number 3561174 (Why is no real title available?)
- scientific article; zbMATH DE number 3577181 (Why is no real title available?)
- scientific article; zbMATH DE number 3599956 (Why is no real title available?)
- scientific article; zbMATH DE number 736301 (Why is no real title available?)
- scientific article; zbMATH DE number 1061261 (Why is no real title available?)
- scientific article; zbMATH DE number 1544631 (Why is no real title available?)
- scientific article; zbMATH DE number 917342 (Why is no real title available?)
- scientific article; zbMATH DE number 1429565 (Why is no real title available?)
- scientific article; zbMATH DE number 3214601 (Why is no real title available?)
- scientific article; zbMATH DE number 3261589 (Why is no real title available?)
- scientific article; zbMATH DE number 3198868 (Why is no real title available?)
- Inductive representations of Boolean functions and the finite generation of the Post classes
- On congruences in closed Post classes
- Post classes characterized by functional terms
- Post's closed systems and the weak chromatic number of hypergraphs
- Post's functional completeness theorem
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
Cited in
(33)- Equivalence of operations with respect to discriminator clones
- Generalizations of Świerczkowski's lemma and the arity gap of finite functions
- Boolean equations and Post classes
- Post classes characterized by functional terms
- Critical properties and complexity measures of read-once Boolean functions
- Set-reconstructibility of Post classes
- Parametrized arity gap
- On the effect of variable identification on the essential arity of functions on finite sets
- Characterization of zigzag De Morgan functions
- scientific article; zbMATH DE number 3924776 (Why is no real title available?)
- scientific article; zbMATH DE number 4075052 (Why is no real title available?)
- scientific article; zbMATH DE number 4110759 (Why is no real title available?)
- scientific article; zbMATH DE number 51303 (Why is no real title available?)
- The arity gap of order-preserving functions and extensions of pseudo-Boolean functions
- scientific article; zbMATH DE number 736301 (Why is no real title available?)
- scientific article; zbMATH DE number 1544631 (Why is no real title available?)
- Additive decomposability of functions over abelian groups
- Content and singletons bring unique identification minors
- Clones with finitely many relative \({\mathcal R}\)-classes
- An infinite descending chain of Boolean subfunctions consisting of threshold functions
- RECONSTRUCTING MULTISETS OVER COMMUTATIVE GROUPOIDS AND AFFINE FUNCTIONS OVER NONASSOCIATIVE SEMIRINGS
- Join-irreducible Boolean functions
- Galois theory for analogical classifiers
- Decompositions of functions based on arity gap
- Minors of Boolean functions with respect to clique functions and hypergraph homomorphisms
- A functional completeness theorem for De Morgan functions.
- Inductive representations of Boolean functions and the finite generation of the Post classes
- On a class of bases for Boolean functions
- Composition of Post classes and normal forms of Boolean functions
- Descending chains and antichains of the unary, linear, and monotone subfunction relations
- Reconstructing permutations from identification minors
- On a quasi-ordering on Boolean functions
- Algebraic and topological closure conditions for classes of pseudo-Boolean functions
This page was built for publication: Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2387440)
