Admissibility in De Morgan algebras

作者:Metcalfe George*; Roethli**erger Christoph
来源:Soft Computing, 2012, 16(11): 1875-1882.
DOI:10.1007/s00500-012-0839-z

摘要

Characterizations of admissible quasi-identities, which may be understood as quasi-identities holding in free algebras on countably infinitely many generators, are provided for classes of De Morgan algebras and lattices.

  • 出版日期2012-11