• DocumentCode
    3713215
  • Title

    A complete characterization of hyperidentities of the variety of weakly idempotent lattices

  • Author

    Yuri Movsisyan;Diana Davidova

  • Author_Institution
    Yerevan State University, Yerevan 0025, Armenia
  • fYear
    2015
  • Firstpage
    41
  • Lastpage
    43
  • Abstract
    A hyperidentity is a second order universal formula, i.e., a universal formula from the second order language (in the sense of A. Church and A.I. Mal´tsev). The hyperidentities of the variety of weakly idempotent lattices are completely characterized in this paper. The existence of a finite base of hyperidentities for this variety is proved as a consequence.
  • Keywords
    "Lattices","Yttrium","Boolean algebra","Quantum computing","Quantum mechanics"
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Information Technologies (CSIT), 2015
  • Type

    conf

  • DOI
    10.1109/CSITechnol.2015.7358247
  • Filename
    7358247
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3713215