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

DOI10.1007/BF01979696zbMATH Open0555.03028MaRDI QIDQ760427FDOQ760427

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

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

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)

Cites Work

• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Extensionalism and induction in Boole
• Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
• Title not available (Why is that?)
• The completeness problem in the function algebra of linear integer-coefficient polynomials

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)