Concepedia

Intuitionistic Propositional Logic

Intuitionistic Propositional Logic is a system of propositional logic that belongs to the class of non-classical logics and is distinguished by its rejection of the law of excluded middle and its requirement that proofs provide constructive evidence for the truth of propositions.

199

Publications

8.5K

Citations

250

Authors

192

Institutions

Publications per year

2017–2026

10

Variants

Ipl

Parents

Publications

199

A propositional calculus with denumerable matrix

Michael Dummett · Journal of Symbolic Logic · 1959 · 403 citations

, , +7

Intuitionism and Proof Theory

Akiko Kino, John Myhill, R. E. Vesley · 1970 · 373 citations

, , +9

Logics without the contraction rule

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

, , +12

Contraction-free sequent calculi for intuitionistic logic

Roy Dyckhoff · Journal of Symbolic Logic · 1992 · 281 citations

, , +12

Intuitionistic propositional logic is polynomial-space complete

Richard Statman · Theoretical Computer Science · 1979 · 233 citations · Full text

, , +11

1–5 of 199

Authors

250

  1. HO
    Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Japan

    4 publications · 375 citations

    4

    h-index

  2. GF
    Guido Fiorino

    University of Milan, Italy

    4 publications · 65 citations

    4

    h-index

  3. VV
    Vladimir V. Rybakov

    Manchester Metropolitan University, United Kingdom

    4 publications · 82 citations

    4

    h-index

  4. RI
    Rosalie Iemhoff

    Utrecht University, Netherlands

    4 publications · 222 citations

    4

    h-index

  5. DD
    Dick de Jongh

    University of Amsterdam, Netherlands

    3 publications · 46 citations

    3

    h-index

1–5 of 250

Institutions

192

  1. University of Amsterdam

    Amsterdam, The Netherlands

    10 h-index

    12 publications

    570 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    12 publications

    436 citations

  3. University of Milan

    Milan, Italy

    6 h-index

    9 publications

    166 citations

  4. Utrecht University

    Utrecht, The Netherlands

    5 h-index

    6 publications

    120 citations

  5. University of St Andrews

    St Andrews, United Kingdom

    3 h-index

    3 publications

    324 citations

  6. Université Toulouse III - Paul Sabatier

    Toulouse, France

    3 h-index

    5 publications

    75 citations

  7. Jagiellonian University

    Krakow, Poland

    3 h-index

    5 publications

    169 citations

  8. St. Andrews University

    Laurinburg, United States

    3 h-index

    3 publications

    324 citations

1–8 of 192

Venues

  1. Journal of Symbolic Logic

    35 publications · 2.5K citations

    25

    h-index

  2. Notre Dame Journal of Formal Logic

    12 publications · 318 citations

    10

    h-index

  3. Annals of Pure and Applied Logic

    7 publications · 205 citations

    7

    h-index

  4. Studia Logica

    7 publications · 196 citations

    7

    h-index

  5. Analysis

    7 publications · 272 citations

    7

    h-index

1–5