A NOTE ON THE LOGIC OF (HIGHER-ORDER) VAGUENESS

被引：18
|
作者：
HECK, RG
机构：
[1] Harvard University, Cambridge
来源：
ANALYSIS | 1993年 / 53卷 / 04期
关键词：
D O I：
10.1093/analys/53.4.201
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
[No abstract available]
引用
收藏
页码：201 / 208
页数：8
相关论文
共 50 条
  • [31] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panos
    Wadge, William W.
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 91 - 103
  • [32] Superposition for Full Higher-order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    [J]. AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 396 - 412
  • [33] On Models of Higher-Order Separation Logic
    Bizjak, Ales
    Birkedal, Lars
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 : 57 - 78
  • [34] Topological completeness for higher-order logic
    Awodey, S
    Butz, C
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (03) : 1168 - 1182
  • [35] Higher-order modal logic - A sketch
    Fitting, H
    [J]. AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 23 - 38
  • [36] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
    Czajka, Lukasz
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
  • [37] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
  • [38] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    [J]. MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
  • [39] ON NONSTANDARD MODELS IN HIGHER-ORDER LOGIC
    HORT, C
    OSSWALD, H
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (01) : 204 - 219
  • [40] Modal Pluralism and Higher-Order Logic
    Clarke-Doane, Justin
    McCarthy, William
    [J]. PHILOSOPHICAL PERSPECTIVES, 2022, 36 (01) : 31 - 58
12345