NON-CONSTRUCTIVE CONTENT OF SENTENCES OF ARITHMETIC

被引：0
|
作者：
GOODMAN, ND
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1978年 / 43卷 / 03期
关键词：
D O I：
10.2307/2273526
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：497 / 501
页数：5
相关论文
共 50 条
  • [41] ARITHMETIC TAUGHT BY CONSTRUCTIVE MEASURING.
    Adams, Ida H.
    ASSOCIATION REVIEW, 1906, 8 (03): : 36 - 39
  • [42] FUNCTIONAL INTERPRETATIONS OF FEASIBLY CONSTRUCTIVE ARITHMETIC
    COOK, S
    URQUHART, A
    ANNALS OF PURE AND APPLIED LOGIC, 1993, 63 (02) : 103 - 200
  • [43] Constructive truth and falsity in Peano arithmetic
    Kushida, Hirohiko
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 168 - 178
  • [44] On the Constructive Truth and Falsity in Peano Arithmetic
    Kushida, Hirohiko
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 75 - 84
  • [45] Natural Language Semantic Model for Arithmetic Sentences
    ChalermpolTapsai
    PhayungMeesad
    ChoochartHaruechaiyasak
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON COMMUNICATION AND INFORMATION PROCESSING (ICCIP 2017), 2017, : 175 - 179
  • [46] A (RELATIVELY COMPLETE) CANONICAL CALCULUS OF CONSTRUCTIVE ARITHMETIC
    WETTE, E
    JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 571 - &
  • [47] Kant’s Theory of Arithmetic: A Constructive Approach?
    Kristina Engelhard
    Peter Mittelstaedt
    Journal for General Philosophy of Science, 2008, 39 : 245 - 271
  • [48] On two questions about feasibly constructive arithmetic
    Moniri, M
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (04) : 425 - 427
  • [49] Kant's Theory of Arithmetic: A Constructive Approach?
    Engelhard, Kristina
    Mittelstaedt, Peter
    JOURNAL FOR GENERAL PHILOSOPHY OF SCIENCE, 2008, 39 (02) : 245 - 271
  • [50] Elfficient exact arithmetic over constructive reals
    Li, Yong
    Yong, Jun-Hai
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 440 - +
12345