ON HIGHER-ORDER LOGIC

被引：0
|
作者：
KOGALOVS.SR
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1966年 / 171卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1272 / &
相关论文
共 50 条
  • [31] REMARKS ON HIGHER-ORDER MODAL LOGIC
    DACOSTA, NCA
    DEALCANTARA, LP
    [J]. ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
  • [32] Functional procedures in higher-order logic
    Laibinis, L
    von Wright, J
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 372 - 387
  • [33] Tabling for higher-order logic programming
    Pientka, B
    [J]. AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 54 - 68
  • [34] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [35] COMPACT FRAGMENT OF HIGHER-ORDER LOGIC
    MALITZ, J
    RUBIN, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 190 - 190
  • [36] AN EQUATIONAL PRESENTATION OF HIGHER-ORDER LOGIC
    COQUAND, T
    EHRHARD, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 40 - 56
  • [37] Higher-Order Logic and Disquotational Truth
    Lavinia Picollo
    Thomas Schindler
    [J]. Journal of Philosophical Logic, 2022, 51 : 879 - 918
  • [38] A PROBABILISTIC HIGHER-ORDER FIXPOINT LOGIC
    Mitani, Yo
    Kobayashi, Naoki
    Tsukada, Takeshi
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04)
  • [39] A relational logic for higher-order programs
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Strub, Pierre-Yves
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [40] Namespace logic: A logic for a reflective higher-order calculus
    Meredith, LG
    Radestock, M
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 353 - 369
12345