user

Admissibility in De Morgan algebras

被引：0
|
作者：
George Metcalfe
Christoph Röthlisberger
机构：
[1] University of Bern,Mathematics Institute
来源：
Soft Computing | 2012年 / 16卷
关键词：
De Morgan algebras; Structural completeness; Admissibility;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：1875 / 1882
页数：7
相关论文
共 50 条
  • [1] Admissibility in De Morgan algebras
    Metcalfe, George
    Roethlisberger, Christoph
    SOFT COMPUTING, 2012, 16 (11) : 1875 - 1882
  • [2] DE MORGAN FUNCTIONS AND FREE DE MORGAN ALGEBRAS
    Movsisyan, Yu. M.
    Aslanyan, V. A.
    DEMONSTRATIO MATHEMATICA, 2014, 47 (02) : 271 - 283
  • [3] COHERENT DE MORGAN ALGEBRAS
    BEAZER, R
    ALGEBRA UNIVERSALIS, 1987, 24 (1-2) : 128 - 136
  • [4] Hyperidentities of De Morgan algebras
    Movsisyan, Yu. M.
    Aslanyan, V. A.
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (06) : 1153 - 1174
  • [5] A characterization of de Morgan algebras
    Brzozowski, JA
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2001, 11 (05) : 525 - 527
  • [6] Monadic De Morgan algebras
    Petrovich, A
    MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 315 - 333
  • [7] Algebras with hyperidentities of the variety of De Morgan algebras
    Movsisyan, Yu M.
    Aslanyan, V. A.
    JOURNAL OF CONTEMPORARY MATHEMATICAL ANALYSIS-ARMENIAN ACADEMY OF SCIENCES, 2013, 48 (05): : 233 - 240
  • [8] Algebras with hyperidentities of the variety of De Morgan algebras
    Yu. M. Movsisyan
    V. A. Aslanyan
    Journal of Contemporary Mathematical Analysis, 2013, 48 : 233 - 240
  • [9] Sequent Calculi for Semi-De Morgan and De Morgan Algebras
    Ma, Minghui
    Liang, Fei
    STUDIA LOGICA, 2018, 106 (03) : 565 - 593
  • [10] Sequent Calculi for Semi-De Morgan and De Morgan Algebras
    Minghui Ma
    Fei Liang
    Studia Logica, 2018, 106 : 565 - 593
12345