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

Post algebrasclosed classesfinite basesPost classesrepresentations of Boolean functions

Mathematics Subject Classification ID

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

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)

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