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 条
  • [31] INJECTIVE DE-MORGAN AND KLEENE ALGEBRAS
    CIGNOLI, R
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 47 (02) : 269 - 278
  • [32] Congruence properties of pseudocomplemented De Morgan algebras
    Sankappanavar, Hanamantagouda P.
    de Carvalho, Julia Vaz
    MATHEMATICAL LOGIC QUARTERLY, 2014, 60 (06) : 425 - 436
  • [33] Varieties of Regular Pseudocomplemented de Morgan Algebras
    M. E. Adams
    H. P. Sankappanavar
    Júlia Vaz de Carvalho
    Order, 2020, 37 : 529 - 557
  • [34] On a subvariety of semi-De Morgan algebras
    C. Palma
    R. Santos
    Acta Mathematica Hungarica, 2003, 98 : 323 - 328
  • [35] Subalgebras of Heyting and De Morgan Heyting Algebras
    Castano, Valeria
    Munoz Santis, Marcela
    STUDIA LOGICA, 2011, 98 (1-2) : 123 - 139
  • [36] On a subvariety of semi-De Morgan algebras
    Palma, C
    Santos, R
    ACTA MATHEMATICA HUNGARICA, 2003, 98 (04) : 323 - 344
  • [37] Tense Operators and Dynamic De Morgan algebras
    Chajda, Ivan
    Paseka, Jan
    2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013), 2013, : 225 - 230
  • [38] Subalgebras of Heyting and De Morgan Heyting Algebras
    Valeria Castaño
    Marcela Muñoz Santis
    Studia Logica, 2011, 98 : 123 - 139
  • [39] De Morgan Heyting algebras satisfying the identity
    Castano, Valeria
    Munoz Santis, Marcela
    MATHEMATICAL LOGIC QUARTERLY, 2011, 57 (03) : 236 - 245
  • [40] Varieties of Regular Pseudocomplemented de Morgan Algebras
    Adams, M. E.
    Sankappanavar, H. P.
    de Carvalho, Julia Vaz
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2020, 37 (03): : 529 - 557
12345