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 条
  • [1] Combining Higher-Order Logic with Set Theory Formalizations
    Kaliszyk, Cezary
    Pak, Karol
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (02)
  • [2] Higher-Order Logic or Set Theory: A False Dilemma
    Shapiro, Stewart
    PHILOSOPHIA MATHEMATICA, 2012, 20 (03) : 305 - 323
  • [3] Cumulative higher-order logic as a foundation for set theory
    Degen, W
    Johannsen, J
    MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 147 - 170
  • [4] Combining Higher-Order Logic with Set Theory Formalizations
    Cezary Kaliszyk
    Karol Pąk
    Journal of Automated Reasoning, 2023, 67
  • [5] Foundational Nonuniform (Co) datatypes for Higher-Order Logic
    Blanchette, Jasmin Christian
    Meier, Fabian
    Popescu, Andrei
    Traytel, Dmitriy
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [6] A Mechanized Translation from Higher-Order Logic to Set Theory
    Krauss, Alexander
    Schropp, Andreas
    INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 323 - 338
  • [7] Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
    Biendarra, Julian
    Blanchette, Jasmin Christian
    Bouzy, Aymeric
    Desharnais, Martin
    Fleury, Mathias
    Holzl, Johannes
    Kuncar, Ondrej
    Lochbihler, Andreas
    Meier, Fabian
    Panny, Lorenz
    Popescu, Andrei
    Sternagel, Christian
    Thiemann, Rene
    Traytel, Dmitriy
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 3 - 21
  • [8] Mathematical Modality: An Investigation in Higher-order Logic
    Bacon, Andrew
    JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (01) : 131 - 179
  • [9] Mathematical Modality: An Investigation in Higher-order Logic
    Andrew Bacon
    Journal of Philosophical Logic, 2024, 53 : 131 - 179
  • [10] Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving
    Traytel, Dmitriy
    Popescu, Andrei
    Blanchette, Jasmin Christian
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 596 - 605
12345