SOME REMARKS ON HIGHER-ORDER LOGIC

被引：0
|
作者：
KOGALOVSKII, SR
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1968年 / 178卷 / 05期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1007 / +
页数：1
相关论文
共 50 条
  • [21] ON NONSTANDARD MODELS IN HIGHER-ORDER LOGIC
    HORT, C
    OSSWALD, H
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (01) : 204 - 219
  • [22] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
  • [23] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
    Czajka, Lukasz
    JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
  • [24] Higher-order modal logic - A sketch
    Fitting, H
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 23 - 38
  • [25] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
  • [26] Modal Pluralism and Higher-Order Logic
    Clarke-Doane, Justin
    McCarthy, William
    PHILOSOPHICAL PERSPECTIVES, 2022, 36 (01) : 31 - 58
  • [27] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
  • [28] RESULTS IN HIGHER-ORDER MODAL LOGIC
    GALLIN, D
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 197 - 198
  • [29] HIGHER-ORDER LOGIC LEARNING AND λPROGOL
    Pahlavi, Niels
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 281 - 285
  • [30] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
12345