Inductive representations of Boolean functions and the finite generation of the Post classes (Q760427)

From MaRDI portal





scientific article; zbMATH DE number 3884153
Language Label Description Also known as
default for all languages
No label defined
    English
    Inductive representations of Boolean functions and the finite generation of the Post classes
    scientific article; zbMATH DE number 3884153

      Statements

      Inductive representations of Boolean functions and the finite generation of the Post classes (English)
      0 references
      0 references
      1984
      0 references
      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.
      0 references
      closed classes
      0 references
      Post algebras
      0 references
      representations of Boolean functions
      0 references
      Post classes
      0 references
      finite bases
      0 references

      Identifiers