Concepedia

Paraconsistent Model Theory

Paraconsistent Model Theory is a formal framework within non-classical logic that specifies the semantics and structures for interpreting paraconsistent logics by allowing models to tolerate contradictions without trivialization, thereby distinguishing it from classical model theory which requires consistency for model validity.

77

Publications

3K

Citations

86

Authors

71

Institutions

Publications per year

2017–2026

10

Parents

Publications

77

Interval Neutrosophic Sets and Logic: Theory and Applications in Computing

Haibin Wang, Rajshekhar Sunderraman · ArXiv.org · 2005 · 455 citations · Full text

, , +14

Paraconsistent logic: essays on the inconsistent

Lorenzo Peña y Gonzalo · Contextos · 1990 · 265 citations

, , +9

A Paraconsistent Model of Vagueness

Zach Weber · Mind · 2010 · 140 citations

, , +12

Constructive negation, implication, and co-implication

Heinrich Wansing · Journal of Applied Non-Classical Logics · 2008 · 84 citations

, , +15

Algebraic Semantics for Paraconsistent Nelson's Logic

Sergei P. Odintsov · Journal of Logic and Computation · 2003 · 80 citations

, , +13

1–5 of 77

Authors

86

  1. SP
    Sergei P. Odintsov

    Sobolev Institute of Mathematics, Russia

    6 publications · 207 citations

    6

    h-index

  2. NC
    Newton C. A. da Costa

    Universidade de São Paulo, Brazil

    5 publications · 253 citations

    5

    h-index

  3. JB
    Jean-Yves Béziau

    Universidade Federal do Rio de Janeiro, Brazil

    4 publications · 179 citations

    4

    h-index

  4. NK
    Norihiro Kamide

    Waseda University, Japan

    4 publications · 114 citations

    4

    h-index

  5. HW
    Heinrich Wansing

    Ruhr University Bochum, Germany

    3 publications · 189 citations

    3

    h-index

1–5 of 86

Institutions

71

  1. Sobolev Institute of Mathematics

    Novosibirsk, Russia

    5 h-index

    5 publications

    127 citations

  2. Universidade de São Paulo

    São Paulo, Brazil

    4 h-index

    7 publications

    316 citations

  3. Universidade Estadual de Campinas (UNICAMP)

    Campinas, Brazil

    3 h-index

    7 publications

    247 citations

  4. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    3 publications

    74 citations

  5. Institute of Computer Science

    Warsaw, Poland

    2 h-index

    2 publications

    57 citations

  6. Waseda University

    Tokyo, Japan

    2 h-index

    2 publications

    78 citations

  7. Australian National University

    Canberra, Australia

    2 h-index

    2 publications

    74 citations

  8. Ruhr University Bochum

    Bochum, Germany

    2 h-index

    2 publications

    105 citations

1–8 of 71

Venues

  1. Studia Logica

    10 publications · 332 citations

    10

    h-index

  2. Logic and Logical Philosophy

    7 publications · 147 citations

    7

    h-index

  3. Journal of Philosophical Logic

    4 publications · 99 citations

    4

    h-index

  4. Logic Journal of IGPL

    4 publications · 116 citations

    4

    h-index

  5. Journal of Logic and Computation

    4 publications · 197 citations

    4

    h-index

1–5