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

DOI10.1007/BF01979696MaRDI QIDQ760427zbMATH OpenFDO

Authors G. P. Gavrilov

Publication date 1984

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/187253

zbMATH Keywords

closed classesfinite basesPost algebrasPost classesrepresentations of Boolean functions

Mathematics Subject Classification ID

Logical aspects of ?ukasiewicz and Post algebras (03G20) Post algebras (lattice-theoretic aspects) (06D25)

Review text

The author studies some representations of Boolean functions and use them for establishing a series of interesting properties of functions from various Post classes, and in the proof of the existence of finite bases in all Post classes.

Recommendations

• scientific article; zbMATH DE number 51303
• On some series of bases for the set of Boolean functions
• scientific article; zbMATH DE number 4097447
• Existence of finite bases in closed classes of Boolean functions
• Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes

Cites work

• scientific article; zbMATH DE number 3706373 (Why is no real title available?)
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

Cited in

(5)

• Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
• Extensionalism and induction in Boole
• The completeness problem in the function algebra of linear integer-coefficient polynomials
• scientific article; zbMATH DE number 3924776 (Why is no real title available?)
• scientific article; zbMATH DE number 7300329 (Why is no real title available?)

This page was built for publication: Inductive representations of Boolean functions and the finite generation of the Post classes

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