Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments Introduction

被引：0
|
作者：
Florio, Salvatore
Linnebo, Oystein
Walsh, Sean
Welch, Philip
机构：
来源：
NOTRE DAME JOURNAL OF FORMAL LOGIC | 2015年 / 56卷 / 01期
关键词：
D O I：
10.1215/00294527-2835020
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [41] Higher-order modal logic - A sketch
    Fitting, H
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 23 - 38
  • [42] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
  • [43] Modal Pluralism and Higher-Order Logic
    Clarke-Doane, Justin
    McCarthy, William
    PHILOSOPHICAL PERSPECTIVES, 2022, 36 (01) : 31 - 58
  • [44] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
  • [45] RESULTS IN HIGHER-ORDER MODAL LOGIC
    GALLIN, D
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 197 - 198
  • [46] SOME REMARKS ON HIGHER-ORDER LOGIC
    KOGALOVSKII, SR
    DOKLADY AKADEMII NAUK SSSR, 1968, 178 (05): : 1007 - +
  • [47] REMARKS ON HIGHER-ORDER MODAL LOGIC
    DACOSTA, NCA
    DEALCANTARA, LP
    ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
  • [48] HIGHER-ORDER LOGIC LEARNING AND λPROGOL
    Pahlavi, Niels
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 281 - 285
  • [49] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [50] Higher-Order Logic and Disquotational Truth
    Picollo, Lavinia
    Schindler, Thomas
    JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (04) : 879 - 918
12345