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 条
  • [31] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panos
    Wadge, William W.
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 91 - 103
  • [32] HAUPTSATZ FOR HIGHER-ORDER MODAL LOGIC
    NISHIMURA, H
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 744 - 751
  • [33] Partiality and Recursion in Higher-Order Logic
    Czajka, Lukasz
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 177 - 192
  • [34] A NOTE ON THE LOGIC OF (HIGHER-ORDER) VAGUENESS
    HECK, RG
    ANALYSIS, 1993, 53 (04) : 201 - 208
  • [35] On Models of Higher-Order Separation Logic
    Bizjak, Ales
    Birkedal, Lars
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 : 57 - 78
  • [36] Superposition for Full Higher-order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 396 - 412
  • [37] Topological completeness for higher-order logic
    Awodey, S
    Butz, C
    JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (03) : 1168 - 1182
  • [38] ON NONSTANDARD MODELS IN HIGHER-ORDER LOGIC
    HORT, C
    OSSWALD, H
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (01) : 204 - 219
  • [39] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
  • [40] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
    Czajka, Lukasz
    JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
12345