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 条
  • [1] COMPLETENESS IN SUMS OF BOOLEAN-ALGEBRAS AND LOGICS
    JANIS, V
    RIECANOVA, Z
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1992, 31 (09) : 1689 - 1697
  • [2] HYPERFINITE LOGICS AND NON-STANDARD EXTENSIONS OF BOOLEAN ALGEBRAS
    Ferenczi, Miklos
    [J]. PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2020, 107 (121): : 53 - 61
  • [3] Object Oriented Protoconcepts and Logics for Double and Pure Double Boolean Algebras
    Howlader, Prosenjit
    Banerjee, Mohua
    [J]. ROUGH SETS, IJCRS 2020, 2020, 12179 : 308 - 323
  • [4] Relational Complexity and Higher Order Logics
    Maria Turull-Torres, Jose
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 311 - 333
  • [5] A completeness theorem for higher order logics
    Sági, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (02) : 857 - 884
  • [6] Complete problems for higher order logics
    Hella, Lauri
    Turull-Torres, Jose Maria
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 380 - 394
  • [7] Theorem Proving in Higher Order Logics
    Goos, Gerhard
    Hartmanis, Juris
    Van Leeuwen, Jan
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1690 : 1 - 8
  • [8] Order continuity of locally compact Boolean algebras
    Zhang, XD
    Schaefer, HH
    Winkowksa-Nowak, K
    [J]. POSITIVITY, 1997, 1 (04) : 297 - 303
  • [9] Order Continuity of Locally Compact Boolean Algebras
    Xiao-Dong Zhang
    Helmut H. Schaefer
    Kasia Winkowska-Nowak
    [J]. Positivity, 1997, 1 : 297 - 303
  • [10] On higher order nonlinearities of Boolean functions
    Tiwari, Sampada
    Sharma, Deepmala
    [J]. CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, 2023, 15 (04): : 821 - 830
12345