BOOLEAN ALGEBRAS OF LOGICS OF HIGHER ORDER

被引：0
|
作者：
AMER, MA
HANF, WP
机构：
来源：
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1969年 / 16卷 / 07期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：1059 / &
相关论文
共 50 条
  • [41] Quasi-Boolean Algebras: a Generalization of Boolean Algebras
    Lv, Yajie
    Chen, Wenjuan
    ENGINEERING LETTERS, 2022, 30 (04) : 1372 - 1376
  • [42] Higher-Order Modal Logics: Automation and Applications
    Benzmueller, Christoph
    Paleo, Bruno Woltzenlogel
    REASONING WEB: WEB LOGIC RULES, 2015, 9203 : 32 - 74
  • [43] Arity and alternation: a proper hierarchy in higher order logics
    Flavio Antonio Ferrarotti
    José María Turull Torres
    Annals of Mathematics and Artificial Intelligence, 2007, 50 : 111 - 141
  • [44] ATOMICITY OF BOOLEAN ALGEBRAS AND VECTOR LATTICES IN TERMS OF ORDER CONVERGENCE
    Aviles, Antonio
    Bilokopytov, Eugene
    Troitsky, Vladimir g.
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2024, 152 (08) : 3275 - 3287
  • [45] FREE COMPLETE BOOLEAN ALGEBRAS AND FIRST-ORDER STRUCTURES
    STAVI, J
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (02): : A326 - A326
  • [46] Controllability of Higher Order Switched Boolean Control Networks
    Zhang, Lequn
    Feng, Jun-e
    Meng, Min
    2013 9TH ASIAN CONTROL CONFERENCE (ASCC), 2013,
  • [47] Boolean Algebras in Visser Algebras
    Alizadeh, Majid
    Ardeshir, Mohammad
    Ruitenburg, Wim
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2016, 57 (01) : 141 - 150
  • [48] BOOLEAN ALGEBRAS
    HENNEY, DR
    PHYSICS TODAY, 1965, 18 (11) : 66 - &
  • [49] BOOLEAN ALGEBRAS
    ENGELER, E
    QUARTERLY OF APPLIED MATHEMATICS, 1966, 24 (01) : 36 - &
  • [50] Logics for Classes of Boolean Monoids
    Gerard Allwein
    Hilmi Demir
    Lee Pike
    Journal of Logic, Language and Information, 2004, 13 (3) : 241 - 266
12345