On composition-closed classes of Boolean functions

MaRDI QIDQ4583707zbMATH OpenFDO

Authors Tamás Waldhauser

Publication date 3 September 2018

Full work available at URL https://arxiv.org/abs/1102.4355, http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-19-number-5-6-2012/mvlsc-19-5-6-p-493-518/

zbMATH Keywords

Boolean functioncloneequational classfunction class compositioniterative algebraPost classPost latticerelational constraint

Mathematics Subject Classification ID

Post algebras (lattice-theoretic aspects) (06D25) Boolean functions (06E30) Operations and polynomials in algebraic structures, primal algebras (08A40)

Abstract: We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification (diagonalization) of variables and under introduction of inessential variables (cylindrification), but they do not necessarily contain projections. Thus the lattice formed by these classes is an extension of the Post lattice. The cardinality of this lattice is continuum, yet it is possible to describe its structure to some extent.

Recommendations

• On the lattice of equational classes of Boolean functions and its closed intervals
• scientific article; zbMATH DE number 51303
• Equationally closed classes of partial Boolean functions
• Boolean equations and Post classes
• Composition of Post classes and normal forms of Boolean functions

Cited in

(22)

• On the shape of solution sets of systems of (functional) equations
• Equational classes of Boolean functions via the HSP theorem
• Post classes characterized by functional terms
• Equational characterizations of Boolean function classes
• On bases of closed classes of Boolean vector functions
• On the classes of Boolean functions generated by maximal partial ultraclones
• Composition of Boolean functions: an application to the secondary constructions of bent functions
• Closed classes of Boolean functions. 2nd ed.
• New iterative chain classes of pseudo-Boolean functions
• Sequential discreteness and clopen-I-Boolean classes
• Equationally closed classes of partial Boolean functions
• scientific article; zbMATH DE number 991161 (Why is no real title available?)
• scientific article; zbMATH DE number 4110759 (Why is no real title available?)
• scientific article; zbMATH DE number 736301 (Why is no real title available?)
• scientific article; zbMATH DE number 1544631 (Why is no real title available?)
• On inherited properties of restricted Boolean functions
• scientific article; zbMATH DE number 6973795 (Why is no real title available?)
• On the lattice of equational classes of Boolean functions and its closed intervals
• On bases of all closed classes of Boolean vector functions
• Composition of Post classes and normal forms of Boolean functions
• Strong closure operators on the set of partial Boolean functions
• Algebraic and topological closure conditions for classes of pseudo-Boolean functions

This page was built for publication: On composition-closed classes of Boolean functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583707)