Putting bounded involutive lattices, de morgan algebras, ortholattices and boolean algebras on the map

被引：0
|
作者：
Iorgulescu, Afrodita [1 ]
Kinyon, Michael [2 ]
机构：
[1] Department of Informatics and Economic Cybernetics, Bucharest University of Economic Studies, Bucharest, Romania
[2] Department of Mathematics, University of Denver, Denver,CO,80208, United States
来源：
Journal of Applied Logics | 2021年 / 8卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1169 / 1213
相关论文
共 50 条
  • [41] On Learning Families of Ideals in Lattices and Boolean Algebras
    Bazhenov, Nikolay
    Mustafa, Manat
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2024, 2024, 14637 : 1 - 13
  • [42] Effectively inseparable Boolean algebras in lattices of sentences
    Shavrukov, V. Yu.
    ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (01): : 69 - 89
  • [43] SEMISIMPLE COMPLETELY DISTRIBUTIVE LATTICES ARE BOOLEAN ALGEBRAS
    LAMBROU, MS
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1978, 68 (02) : 217 - 219
  • [44] Effectively inseparable Boolean algebras in lattices of sentences
    V. Yu. Shavrukov
    Archive for Mathematical Logic, 2010, 49 : 69 - 89
  • [45] Boolean algebras and distributive lattices treated constructively
    Bell, JL
    MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (01) : 135 - 143
  • [46] Boolean representation of bounded BCK-algebras
    Gispert, Joan
    Torrens, Antoni
    SOFT COMPUTING, 2008, 12 (10) : 941 - 954
  • [47] Boolean representation of bounded BCK-algebras
    Joan Gispert
    Antoni Torrens
    Soft Computing, 2008, 12 : 941 - 954
  • [48] Perfect extensions of de Morgan algebras
    Haviar, Miroslav
    Ploscica, Miroslav
    ALGEBRA UNIVERSALIS, 2021, 82 (04)
  • [49] A Family of Finite De Morgan Algebras
    Walker, Carol L.
    Walker, Elbert A.
    2009 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, 2009, : 421 - 426
  • [50] De Morgan Algebras with Tense Operators
    Chajda, Ivan
    Paseka, Jan
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2017, 28 (01) : 29 - 45
12345