Concepedia

Intermediate Logics

Intermediate Logics is a class of propositional logics that stand between intuitionistic logic and classical logic, distinguished by extending intuitionistic logic with additional axioms while remaining strictly weaker than classical logic.

90

Publications

3.5K

Citations

85

Authors

73

Institutions

Publications per year

2017–2026

0

Variants

Superintuitionistic Logics

Parents

Publications

90

Hypersequents, logical consequence and intermediate logics for concurrency

Arnon Avron · Annals of Mathematics and Artificial Intelligence · 1991 · 184 citations

, , +13

Inquisitive Semantics and Intermediate Logics.

Ivano Ciardelli · 2009 · 153 citations

, , +13

Logic with truth values in A linearly ordered heyting algebra

Alfred Horn · Journal of Symbolic Logic · 1969 · 150 citations

, , +9

Logics containing <i>K</i>4. Part I

Kit Fine · Journal of Symbolic Logic · 1974 · 143 citations

, , +12

From Axioms to Analytic Rules in Nonclassical Logics

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · Proceedings - Symposium on Logic in Computer Science · 2008 · 120 citations

, , +14

1–5 of 90

Authors

85

  1. HO
    Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Japan

    8 publications · 206 citations

    8

    h-index

  2. TH
    Tsutomu Hosoi

    The University of Tokyo, Japan

    4 publications · 123 citations

    4

    h-index

  3. AC
    Alexander Chagrov

    Tver State University, Russia

    4 publications · 146 citations

    4

    h-index

  4. PM
    Pierangelo Miglioli

    University of Milan, Italy

    4 publications · 88 citations

    4

    h-index

  5. RI
    Rosalie Iemhoff

    Utrecht University, Netherlands

    4 publications · 116 citations

    4

    h-index

1–5 of 85

Institutions

73

  1. University of Milan

    Milan, Italy

    6 h-index

    7 publications

    187 citations

  2. Japan Advanced Institute of Science and Technology

    Nomi Shi, Japan

    4 h-index

    4 publications

    153 citations

  3. University of Amsterdam

    Amsterdam, The Netherlands

    4 h-index

    6 publications

    224 citations

  4. Tver State University

    Tver', Russia

    4 h-index

    6 publications

    249 citations

  5. Russian Academy of Sciences

    Moscow, Russia

    3 h-index

    4 publications

    180 citations

  6. Imperial College London

    London, United Kingdom

    3 h-index

    3 publications

    133 citations

  7. University of Helsinki

    Helsinki, Finland

    3 h-index

    3 publications

    131 citations

  8. TU Wien

    Vienna, Austria

    3 h-index

    4 publications

    176 citations

1–8 of 73

Venues

  1. Journal of Symbolic Logic

    19 publications · 962 citations

    18

    h-index

  2. Studia Logica

    12 publications · 304 citations

    11

    h-index

  3. Notre Dame Journal of Formal Logic

    6 publications · 187 citations

    6

    h-index

  4. Logic Journal of IGPL

    5 publications · 139 citations

    5

    h-index

  5. Archive for Mathematical Logic

    5 publications · 147 citations

    5

    h-index

1–5