Concepedia

Heyting Algebra

Heyting Algebra is a bounded lattice equipped with a binary operation of implication satisfying the condition that for all elements \(a\), \(b\), and \(c\), \(c \leq (a \rightarrow b)\) if and only if \(c \land a \leq b\), thus providing the algebraic semantics for intuitionistic logic.

113

Publications

3.9K

Citations

147

Authors

113

Institutions

Publications per year

2017–2026

6

Variants

Heyting Algebras

Parents

Publications

113

IV.—IMPLICATION AND THE ALGEBRA OF LOGIC

C. I. Lewis · Mind · 1912 · 196 citations · Full text

, , +11

Unification in intuitionistic logic

Silvio Ghilardi · Journal of Symbolic Logic · 1999 · 179 citations

, , +11

On an interpretation of second order quantification in first order intuitionistic propositional logic

Andrew M. Pitts · Journal of Symbolic Logic · 1992 · 165 citations · Full text

, , +9

William Heytesbury : medieval logic and the rise of mathematical physics

Curtis Wilson · 1956 · 161 citations

, , +13

Logic with truth values in A linearly ordered heyting algebra

Alfred Horn · Journal of Symbolic Logic · 1969 · 150 citations

, , +9

1–5 of 113

Authors

147

  1. GB
    Guram Bezhanishvili

    New Mexico State University, United States

    8 publications · 202 citations

    8

    h-index

  2. AH
    Alfred Horn

    University of California, Los Angeles, United States

    5 publications · 334 citations

    5

    h-index

  3. HP
    Hanamantagouda P. Sankappanavar

    SUNY New Paltz, United States

    4 publications · 155 citations

    4

    h-index

  4. PJ
    Patrick J. Morandi

    New Mexico State University, United States

    3 publications · 61 citations

    3

    h-index

  5. SG
    Silvio Ghilardi

    University of Milan, Italy

    3 publications · 268 citations

    3

    h-index

1–5 of 147

Institutions

113

  1. New Mexico State University

    Las Cruces, United States

    8 h-index

    15 publications

    351 citations

  2. Radboud University Nijmegen

    Nijmegen, The Netherlands

    5 h-index

    8 publications

    468 citations

  3. SUNY New Paltz

    New Paltz, United States

    4 h-index

    4 publications

    155 citations

  4. University of Amsterdam

    Amsterdam, The Netherlands

    4 h-index

    4 publications

    226 citations

  5. Imperial College London

    London, United Kingdom

    3 h-index

    3 publications

    153 citations

  6. University of Milan

    Milan, Italy

    3 h-index

    3 publications

    268 citations

  7. University of Cambridge

    Cambridge, United Kingdom

    3 h-index

    3 publications

    228 citations

  8. University of Cagliari

    Cagliari, Italy

    2 h-index

    3 publications

    67 citations

1–8 of 113

Venues

  1. Journal of Symbolic Logic

    14 publications · 901 citations

    14

    h-index

  2. Algebra Universalis

    8 publications · 189 citations

    8

    h-index

  3. Mathematical logic quarterly

    MLQ · 8 publications · 207 citations

    7

    h-index

  4. Studia Logica

    5 publications · 137 citations

    5

    h-index

  5. Transactions of the American Mathematical Society

    TRAN · 4 publications · 160 citations

    4

    h-index

1–5