The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set (Q2280349)

From MaRDI portal





scientific article; zbMATH DE number 7144535
Language Label Description Also known as
default for all languages
No label defined
    English
    The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set
    scientific article; zbMATH DE number 7144535

      Statements

      The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set (English)
      0 references
      0 references
      18 December 2019
      0 references
      closure
      0 references
      equality predicate
      0 references
      multioperation
      0 references
      closed set
      0 references
      composition
      0 references
      completeness criterion
      0 references

      Identifiers