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

DOI10.1007/BF01979696zbMath0555.03028MaRDI QIDQ760427

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 classesPost algebrasfinite basesPost classesrepresentations of Boolean functions

Mathematics Subject Classification ID

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

Related Items (3)

Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes ⋮ The completeness problem in the function algebra of linear integer-coefficient polynomials ⋮ Unnamed Item

Cites Work

• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Unnamed Item

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