Concepedia

Intuitionistic Arithmetic

Intuitionistic Arithmetic is a formal first-order theory that belongs to the class of arithmetic systems and is distinguished by its adherence to intuitionistic logic, rejecting the law of excluded middle and requiring constructive proofs for existential assertions.

79

Publications

4K

Citations

78

Authors

64

Institutions

Publications per year

2017–2026

8

Variants

Heyting Arithmetic

Parents

Publications

79

1–5 of 79

Authors

78

  1. MB
    Michael Beeson

    San Jose State University, United States

    4 publications · 96 citations

    4

    h-index

  2. ND
    Nicolas D. Goodman

    University at Buffalo, State University of New York, United States

    4 publications · 93 citations

    4

    h-index

  3. AS
    A. S. Troelstra

    University of Amsterdam, Netherlands

    3 publications · 86 citations

    3

    h-index

  4. IM
    Ieke Moerdijk

    Utrecht University, Netherlands

    3 publications · 94 citations

    3

    h-index

  5. UB
    Ulrich Berger

    Swansea University, United Kingdom

    3 publications · 83 citations

    3

    h-index

1–5 of 78

Institutions

64

  1. University at Buffalo, State University of New York

    Buffalo, United States

    6 h-index

    6 publications

    149 citations

  2. Utrecht University

    Utrecht, The Netherlands

    5 h-index

    5 publications

    146 citations

  3. Stanford University

    Stanford, United States

    2 h-index

    2 publications

    593 citations

  4. Cornell University

    Ithaca, United States

    2 h-index

    3 publications

    38 citations

  5. Chalmers University of Technology

    Gothenburg, Sweden

    2 h-index

    2 publications

    161 citations

  6. Swansea University

    Swansea, United Kingdom

    2 h-index

    2 publications

    69 citations

  7. Technische Universität Darmstadt

    Darmstadt, Germany

    2 h-index

    2 publications

    51 citations

  8. University of Luxembourg

    Luxembourg, Luxembourg

    2 h-index

    3 publications

    38 citations

1–8 of 64

Venues

  1. Journal of Symbolic Logic

    24 publications · 1.7K citations

    16

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 2 publications · 80 citations

    2

    h-index

  3. Mind

    2 publications · 53 citations

    2

    h-index

  4. Bulletin of Symbolic Logic

    2 publications · 45 citations

    2

    h-index

  5. Mathematical Structures in Computer Science

    MSCS · 2 publications · 45 citations

    2

    h-index

1–5