Concepedia

Non-classical Logic

Non-Classical Logic is a branch of formal logic that comprises and studies systems of logical consequence which deviate from classical propositional and predicate logic by altering, restricting, or rejecting one or more of their standard structural or logical laws.

1.2K

Publications

61.4K

Citations

1.3K

Authors

603

Institutions

Publications per year

2017–2026

132

Variants

Nonclassical Logic

Parents

Children

Publications

1.2K

A Natural history of negation

Eva Hajičová · Lingua · 1990 · 2.5K citations

, , +9

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

, , +11

Nonmonotonic reasoning, preferential models and cumulative logics

Sarit Kraus, Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1990 · 1.7K citations

, , +10

Counterpart Theory and Quantified Modal Logic

David K. Lewis · The Journal of Philosophy · 1968 · 1.1K citations

, , +10

Models and reality

Hilary Putnam · Journal of Symbolic Logic · 1980 · 624 citations

, , +11

1–5 of 1.2K

Authors

1.3K

  1. PC
    Petr Cintula

    Czech Academy of Sciences, Institute of Computer Science, Czechia

    10 publications · 373 citations

    10

    h-index

  2. AA
    Arnon Avron

    Tel Aviv University, Israel

    10 publications · 286 citations

    10

    h-index

  3. DM
    Dov M. Gabbay

    King's College London, United Kingdom

    9 publications · 304 citations

    9

    h-index

  4. PH
    Petr Hájek

    University of Pardubice, Czechia

    9 publications · 554 citations

    9

    h-index

  5. HW
    Heinrich Wansing

    Ruhr University Bochum, Germany

    8 publications · 276 citations

    9

    h-index

1–5 of 1.3K

Institutions

603

  1. University of Amsterdam

    Amsterdam, The Netherlands

    19 h-index

    28 publications

    2K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    17 h-index

    33 publications

    2.1K citations

  3. Czech Academy of Sciences, Institute of Computer Science

    Prague, Czechia

    14 h-index

    25 publications

    1.2K citations

  4. Stanford University

    Stanford, United States

    12 h-index

    19 publications

    1.2K citations

  5. University of Oxford

    Oxford, United Kingdom

    12 h-index

    17 publications

    1K citations

  6. TU Wien

    Vienna, Austria

    12 h-index

    17 publications

    995 citations

  7. Universidade Estadual de Campinas (UNICAMP)

    Campinas, Brazil

    11 h-index

    17 publications

    402 citations

  8. Yale University

    New Haven, United States

    11 h-index

    14 publications

    2.2K citations

1–8 of 603

Venues

  1. Journal of Symbolic Logic

    85 publications · 6K citations

    36

    h-index

  2. Studia Logica

    74 publications · 2.9K citations

    31

    h-index

  3. Notre Dame Journal of Formal Logic

    66 publications · 2.1K citations

    24

    h-index

  4. Journal of Logic and Computation

    39 publications · 1.7K citations

    23

    h-index

  5. Journal of Philosophical Logic

    43 publications · 1.5K citations

    22

    h-index

1–5