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
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1992, 31 (09) : 1689 - 1697
  • [2] HYPERFINITE LOGICS AND NON-STANDARD EXTENSIONS OF BOOLEAN ALGEBRAS
    Ferenczi, Miklos
    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
    ROUGH SETS, IJCRS 2020, 2020, 12179 : 308 - 323
  • [4] A completeness theorem for higher order logics
    Sági, G
    JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (02) : 857 - 884
  • [5] Relational Complexity and Higher Order Logics
    Maria Turull-Torres, Jose
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 311 - 333
  • [6] Complete problems for higher order logics
    Hella, Lauri
    Turull-Torres, Jose Maria
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 380 - 394
  • [7] Theorem Proving in Higher Order Logics
    Goos, Gerhard
    Hartmanis, Juris
    Van Leeuwen, Jan
    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
    POSITIVITY, 1997, 1 (04) : 297 - 303
  • [9] Order Continuity of Locally Compact Boolean Algebras
    Xiao-Dong Zhang
    Helmut H. Schaefer
    Kasia Winkowska-Nowak
    Positivity, 1997, 1 : 297 - 303
  • [10] On higher order nonlinearities of Boolean functions
    Tiwari, Sampada
    Sharma, Deepmala
    CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, 2023, 15 (04): : 821 - 830
12345