Concepedia

Consistency Operator

A Consistency Operator is a logical connective in paraconsistent logic that distinguishes formulas by marking those which behave classically, thereby expressing the metatheoretical notion of consistency within the object language.

23

Publications

680

Citations

36

Authors

27

Institutions

Publications per year

2017–2026

5

Variants

Consistency Connective

Parents

Publications

23

Is Arithmetic Consistent?

Graham Priest · Mind · 1994 · 134 citations

, , +14

Generalization of a new definition of consistency for pairwise comparisons

Zbigniew Duszak, Waldemar W. Koczkodaj · Information Processing Letters · 1994 · 74 citations

, , +9

Non-deterministic semantics for logics with a consistency operator

Arnon Avron · International Journal of Approximate Reasoning · 2006 · 57 citations

, , +13

A paraconsistent logic programming approach for querying inconsistent databases

Sandra de Amo, Mônica Sakuray Pais · International Journal of Approximate Reasoning · 2006 · 42 citations

, , +14

Conventionalism, consistency, and consistency sentences

Jared Warren · Synthese · 2014 · 40 citations

, , +8

1–5 of 23

Authors

36

  1. FE
    Francesc Esteva

    Artificial Intelligence Research Institute, Spain

    2 publications · 34 citations

    2

    h-index

  2. ME
    Marcelo E. Coniglio

    Universidade Estadual de Campinas (UNICAMP), Brazil

    2 publications · 52 citations

    2

    h-index

  3. LG
    Lluı́s Godo

    Artificial Intelligence Research Institute, Spain

    2 publications · 34 citations

    2

    h-index

  4. ZD
    Zbigniew Duszak

    Laurentian University, Canada

    1 publications · 74 citations

    1

    h-index

  5. MK
    Mihir K. Chakraborty

    Jadavpur University, India

    1 publications · 21 citations

    1

    h-index

1–5 of 36

Institutions

27

  1. Universidade Estadual de Campinas (UNICAMP)

    Campinas, Brazil

    3 h-index

    4 publications

    92 citations

  2. Universidad Nacional del Sur

    Bahía Blanca, Argentina

    2 h-index

    2 publications

    27 citations

  3. Artificial Intelligence Research Institute

    Cerdanyola del Vallès, Spain

    2 h-index

    5 publications

    79 citations

  4. Pontifícia Universidade Católica do Rio de Janeiro

    Rio de Janeiro, Brazil

    1 h-index

    1 publications

    19 citations

  5. The University of Queensland

    Brisbane, Australia

    1 h-index

    1 publications

    134 citations

  6. New York University

    New York, United States

    1 h-index

    1 publications

    40 citations

  7. Xi'an Shiyou University

    Xi'an, China

    1 h-index

    1 publications

    21 citations

  8. Shanghai Entry-Exit Inspection and Quarantine Bureau

    Shanghai, China

    1 h-index

    1 publications

    10 citations

1–8 of 27

Venues

  1. Logic Journal of IGPL

    4 publications · 80 citations

    4

    h-index

  2. International Journal of Approximate Reasoning

    3 publications · 120 citations

    3

    h-index

  3. Information Processing Letters

    2 publications · 93 citations

    2

    h-index

  4. Mind

    1 publications · 134 citations

    1

    h-index

  5. Journal of Logic and Computation

    1 publications · 11 citations

    1

    h-index

1–5