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 条
  • [21] Higher-order computational logic
    Lloyd, JW
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [22] Superposition for Higher-Order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
  • [23] Higher-Order Coalition Logic
    Boella, Guido
    Gabbay, Dov M.
    Genovese, Valerio
    van der Torre, Leendert
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 555 - 560
  • [24] A logic of higher-order preferences
    Jiang, Junli
    Naumov, Pavel
    SYNTHESE, 2024, 203 (06)
  • [25] HIGHER-ORDER SET THEORIES
    MAREK, W
    ZBIERSKI, P
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (02): : 97 - 101
  • [26] Translating SUMO-K to Higher-Order Set Theory
    Brown, Chad E.
    Pease, Adam
    Urban, Josef
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 255 - 274
  • [27] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
    FORSTER, T
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
  • [28] On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic
    Kobayashi, Naoki
    Lozes, Etienne
    Bruse, Florian
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 246 - 259
  • [29] Formalization of Linear Space Theory in the Higher-Order Logic Proving System
    Zhang, Jie
    Mao, Danwen
    Guan, Yong
    JOURNAL OF APPLIED MATHEMATICS, 2013,
  • [30] Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
    Maruyama, Yoshihiro
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2020, 12062 : 187 - 203
12345