Concepedia

Many-valued Propositional Logic

Many-Valued Propositional Logic is a formal logical system that extends classical propositional logic by allowing formulas to take on more than two truth values, thereby differing from binary-valued systems through its adoption of a plurality of truth-functional interpretations.

40

Publications

2K

Citations

53

Authors

48

Institutions

Publications per year

2017–2026

0

Variants

Many-valued Propositional Calculus

Parents

Publications

40

Many-valued Logics.

Leonard Goddard, J. Barkley Rosser, A. R. Turquette · The Philosophical Quarterly · 1954 · 305 citations

, , +12

Logics without the contraction rule

Hiroakira Ono, Yuichi Komori · Journal of Symbolic Logic · 1985 · 291 citations

, , +12

On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi

Jan Pavelka · Mathematical logic quarterly · 1979 · 193 citations

, , +15

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

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

, , +15

The Incomplete Universe: Totality, Knowledge, and Truth.

Aladdin M. Yaqūb, Patrick Grim · The Philosophical Review · 1995 · 98 citations

, , +15

1–5 of 40

Authors

53

  1. PG
    Patrick Grim

    Stony Brook University, United States

    2 publications · 111 citations

    2

    h-index

  2. CG
    Christian G. Fermüller

    TU Wien, Austria

    2 publications · 94 citations

    2

    h-index

  3. RG
    Roberto Giuntini

    University of Cagliari, Italy

    2 publications · 32 citations

    2

    h-index

  4. HO
    Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Japan

    2 publications · 336 citations

    2

    h-index

  5. JP
    Jarosław Pykacz

    University of Gdańsk, Poland

    2 publications · 31 citations

    2

    h-index

1–5 of 53

Institutions

48

  1. Université Fédérale de Toulouse Midi-Pyrénées

    Toulouse, France

    2 h-index

    2 publications

    107 citations

  2. University of Cagliari

    Cagliari, Italy

    2 h-index

    4 publications

    64 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    107 citations

  4. University of Gdańsk

    Gdansk, Poland

    2 h-index

    2 publications

    31 citations

  5. Universidade Estadual de Campinas (UNICAMP)

    Campinas, Brazil

    2 h-index

    3 publications

    173 citations

  6. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    2 h-index

    2 publications

    107 citations

  7. Université Toulouse III - Paul Sabatier

    Toulouse, France

    2 h-index

    2 publications

    107 citations

  8. TU Wien

    Vienna, Austria

    2 h-index

    3 publications

    171 citations

1–8 of 48

Venues

  1. Studia Logica

    5 publications · 138 citations

    5

    h-index

  2. Mathematical logic quarterly

    MLQ · 5 publications · 300 citations

    5

    h-index

  3. Journal of Symbolic Logic

    3 publications · 503 citations

    3

    h-index

  4. Journal of Applied Non-Classical Logics

    JANCL · 2 publications · 48 citations

    2

    h-index

  5. The Philosophical Quarterly

    2 publications · 318 citations

    2

    h-index

1–5