Concepedia

Many-valued Proof Theory

Many-Valued Proof Theory is a formal logical framework that extends classical proof theory by permitting more than two truth values, thereby enabling the systematic derivation of formulas in logical systems where propositions may assume intermediate or multiple truth-values.

21

Publications

1.1K

Citations

29

Authors

21

Institutions

Publications per year

2017–2026

3

Parents

Publications

21

Natural 3-valued logics—characterization and proof theory

Arnon Avron · Journal of Symbolic Logic · 1991 · 244 citations

, , +7

Fragments of many-valued statement calculi

Alan Rose, J. Barkley Rosser · Transactions of the American Mathematical Society · 1958 · 198 citations · Full text

, , +9

Systematization of finite many-valued logics through the method of tableaux

Walter Carnielli · Journal of Symbolic Logic · 1987 · 149 citations

, , +15

Resolution-based Theorem Proving for Many-valued Logics

Matthias Baaz, Christian G. Fermüller · Journal of Symbolic Computation · 1995 · 77 citations

, , +14

Exploiting data dependencies in many-valued logics

Reiner Haähnle · Journal of Applied Non-Classical Logics · 1996 · 51 citations

, , +11

1–5 of 21

Authors

29

  1. WC
    Walter Carnielli

    Universidade Estadual de Campinas (UNICAMP), Brazil

    3 publications · 182 citations

    3

    h-index

  2. AA
    Arnon Avron

    Tel Aviv University, Israel

    2 publications · 265 citations

    2

    h-index

  3. RH
    Reiner Hähnle

    Chalmers University of Technology, Sweden

    2 publications · 74 citations

    2

    h-index

  4. JB
    J. Barkley Rosser

    James Madison University, United States

    2 publications · 227 citations

    2

    h-index

  5. GE
    Gonzalo Escalada Imaz

    1 publications · 44 citations

    1

    h-index

1–5 of 29

Institutions

21

  1. Karlsruhe Institute of Technology

    Karlsruhe, Germany

    2 h-index

    2 publications

    81 citations

  2. Universidade Estadual de Campinas (UNICAMP)

    Campinas, Brazil

    2 h-index

    2 publications

    170 citations

  3. Tel Aviv University

    Tel Aviv, Israel

    2 h-index

    2 publications

    265 citations

  4. Universidad Nacional del Sur

    Bahía Blanca, Argentina

    1 h-index

    1 publications

    16 citations

  5. Pedagogical University

    Maputo, Mozambique

    1 h-index

    1 publications

    43 citations

  6. University of Gdańsk

    Gdansk, Poland

    1 h-index

    1 publications

    17 citations

  7. Universidad de Sevilla

    Seville, Spain

    1 h-index

    1 publications

    35 citations

  8. TU Wien

    Vienna, Austria

    1 h-index

    2 publications

    154 citations

1–8 of 21

Venues

  1. Journal of Symbolic Logic

    2 publications · 393 citations

    2

    h-index

  2. Studia Logica

    2 publications · 67 citations

    2

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 2 publications · 227 citations

    2

    h-index

  4. Soft Computing

    2 publications · 65 citations

    2

    h-index

  5. Journal of Philosophical Logic

    1 publications · 16 citations

    1

    h-index

1–5