A structured set of higher-order problems

被引：0
|
作者：
Benzmüller, CE [1 ]
Brown, CE [1 ]
机构：
[1] Univ Saarland, Fachbereich Informat, D-6600 Saarbrucken, Germany
来源：
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS | 2005年 / 3603卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as quick and easy criteria preceding the formal soundness and completeness analysis of proof systems under development. Our set of problems is structured according to different technical issues and along different notions of semantics (including Henkin semantics) for higher-order logic. Many examples are either theorems or non-theorems depending on the choice of semantics. The examples can thus indicate the deductive strength of a proof system.
引用
收藏
页码：66 / 81
页数：16
相关论文
共 50 条
  • [21] Higher-order generalized invexity in variational problems
    Padhan, S. K.
    Nahak, C.
    MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2013, 36 (11) : 1334 - 1341
  • [22] Mass problems and intuitionistic higher-order logic
    Basu, Sankha S.
    Simpson, Stephen G.
    COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2016, 5 (01): : 29 - 47
  • [23] Higher-Order Generalized Invexity in Control Problems
    Padhan, S. K.
    Nahak, C.
    JOURNAL OF CONTROL SCIENCE AND ENGINEERING, 2011, 2011
  • [24] 'Higher-order FDTD methods for large problems'
    Appl Comput Electromagn Soc J, 2 (17):
  • [25] Positive Solutions of Higher-Order Singular Problems
    R. P. Agarwal
    K. Perera
    D. O’Regan
    Differential Equations, 2005, 41 : 739 - 743
  • [26] Higher-Order Variational Problems of Herglotz Type
    Santos S.P.S.
    Martins N.
    Torres D.F.M.
    Vietnam Journal of Mathematics, 2014, 42 (4) : 409 - 419
  • [27] Problems with formative and higher-order reflective variables
    Lee, Nick
    Cadogan, John W.
    JOURNAL OF BUSINESS RESEARCH, 2013, 66 (02) : 242 - 247
  • [28] Cumulative higher-order logic as a foundation for set theory
    Degen, W
    Johannsen, J
    MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 147 - 170
  • [29] Combining Higher-Order Logic with Set Theory Formalizations
    Cezary Kaliszyk
    Karol Pąk
    Journal of Automated Reasoning, 2023, 67
  • [30] Combining Higher-Order Logic with Set Theory Formalizations
    Kaliszyk, Cezary
    Pak, Karol
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (02)
12345