Concepedia

Belnap Logic

Belnap Logic is a four-valued logic system that extends classical two-valued logic by introducing two additional truth values—“both true and false” and “neither true nor false”—to handle inconsistent and incomplete information within a paraconsistent and paracomplete framework.

53

Publications

1.7K

Citations

71

Authors

63

Institutions

Publications per year

2017–2026

7

Variants

Belnap-dunn Logic

Parents

Publications

53

KLEENE’S THREE VALUED LOGICS AND THEIR CHILDREN

Melvin Fitting · Fundamenta Informaticae · 1994 · 160 citations

, , +12

Belnap's Four-Valued Logic and De Morgan Lattices

Josep Maria Font · Logic Journal of IGPL · 1997 · 149 citations

, , +7

On Ignorance and Contradiction Considered as Truth-Values

D. Dubois · Logic Journal of IGPL · 2007 · 86 citations · Full text

, , +15

Modal logics with Belnapian truth values

Serge P Odintsov, Heinrich Wansing · Journal of Applied Non-Classical Logics · 2010 · 67 citations

, , +9

Classical Negation and Expansions of Belnap–Dunn Logic

Michael De, Hitoshi Omori · Studia Logica · 2015 · 65 citations · Full text

, , +9

1–5 of 53

Authors

71

  1. UR
    Umberto Rivieccio

    Universidade Federal do Rio Grande do Norte, Brazil

    5 publications · 150 citations

    5

    h-index

  2. HW
    Heinrich Wansing

    Ruhr University Bochum, Germany

    3 publications · 144 citations

    3

    h-index

  3. AA
    Arnon Avron

    Tel Aviv University, Israel

    3 publications · 41 citations

    3

    h-index

  4. SP
    Sergei P. Odintsov

    Sobolev Institute of Mathematics, Russia

    3 publications · 89 citations

    3

    h-index

  5. AJ
    Achim Jung

    University of Birmingham, United Kingdom

    3 publications · 83 citations

    3

    h-index

1–5 of 71

Institutions

63

  1. The Graduate Center, CUNY

    New York, United States

    5 h-index

    5 publications

    382 citations

  2. University of Birmingham

    Birmingham, United Kingdom

    4 h-index

    6 publications

    155 citations

  3. Universitat de Barcelona

    Barcelona, Spain

    4 h-index

    5 publications

    275 citations

  4. City University of New York

    New York, United States

    3 h-index

    3 publications

    157 citations

  5. Imperial College London

    London, United Kingdom

    3 h-index

    3 publications

    105 citations

  6. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    4 publications

    56 citations

  7. Sobolev Institute of Mathematics

    Novosibirsk, Russia

    3 h-index

    3 publications

    89 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    4 publications

    125 citations

1–8 of 63

Venues

  1. Journal of Applied Non-Classical Logics

    JANCL · 8 publications · 268 citations

    8

    h-index

  2. Notre Dame Journal of Formal Logic

    6 publications · 89 citations

    6

    h-index

  3. Studia Logica

    4 publications · 164 citations

    4

    h-index

  4. Fundamenta Informaticae

    3 publications · 237 citations

    3

    h-index

  5. Logic Journal of IGPL

    3 publications · 251 citations

    3

    h-index

1–5