Concepedia

Paraconsistent Proof Theory

Paraconsistent Proof Theory is a formal logical framework that studies proof systems capable of reasoning with inconsistent information without leading to triviality, distinguishing it from classical proof theories by allowing contradictions to be managed within non-explosive deductive structures.

16

Publications

443

Citations

21

Authors

21

Institutions

Publications per year

2017–2026

4

Parents

Publications

16

Proof theory of Nelson’s paraconsistent logic: A uniform perspective

Norihiro Kamide, Heinrich Wansing · Theoretical Computer Science · 2011 · 67 citations

, , +15

Reasoning with contradictory information using quasi-classical logic

Anthony Hunter · Journal of Logic and Computation · 2000 · 61 citations

, , +9

Logical bilattices and inconsistent data

Ofer Arieli, Arnon Avron · 2002 · 48 citations

, , +12

Towards the unification of inconsistency handling mechanisms

Diderik Batens · Logic and Logical Philosophy · 2004 · 41 citations · Full text

, , +16

Minimizing Ambiguity and Paraconsistency.

Guido Vanackere · Ghent University Academic Bibliography (Ghent University) · 1999 · 30 citations

, , +13

1–5 of 16

Authors

21

  1. NK
    Norihiro Kamide

    Waseda University, Japan

    2 publications · 81 citations

    2

    h-index

  2. DB
    Diderik Batens

    Ghent University, Belgium

    2 publications · 66 citations

    2

    h-index

  3. LM
    Liliana M Cantú

    National Technological University, Argentina

    1 publications · 16 citations

    1

    h-index

  4. DM
    Diego Marconi

    University of Turin, Italy

    1 publications · 15 citations

    1

    h-index

  5. FP
    Francesco Paoli

    University of Cagliari, Italy

    1 publications · 25 citations

    1

    h-index

1–5 of 21

Institutions

21

  1. Ghent University Hospital

    Ghent, Belgium

    1 h-index

    1 publications

    41 citations

  2. Universidad Nacional del Sur

    Bahía Blanca, Argentina

    1 h-index

    1 publications

    16 citations

  3. Lomonosov Moscow State University

    Moscow, Russia

    1 h-index

    1 publications

    21 citations

  4. University of Cagliari

    Cagliari, Italy

    1 h-index

    2 publications

    50 citations

  5. Twin Cities Orthopedics

    Edina, United States

    1 h-index

    1 publications

    14 citations

  6. University of Minnesota

    Minneapolis, United States

    1 h-index

    1 publications

    14 citations

  7. Ghent University

    Ghent, Belgium

    1 h-index

    2 publications

    50 citations

  8. Waseda University

    Tokyo, Japan

    1 h-index

    1 publications

    67 citations

1–8 of 21

Venues

  1. Studia Logica

    2 publications · 43 citations

    2

    h-index

  2. Journal of Philosophical Logic

    2 publications · 29 citations

    2

    h-index

  3. Journal of Logic and Computation

    2 publications · 81 citations

    2

    h-index

  4. Journal of Applied Non-Classical Logics

    JANCL · 1 publications · 25 citations

    1

    h-index

  5. Theoretical Computer Science

    1 publications · 67 citations

    1

    h-index

1–5