Disjunction Property

The Disjunction Property is a metalogical characteristic of certain logical systems, particularly intuitionistic logic, wherein if a disjunction (A ∨ B) is provable, then at least one of the disjuncts A or B is individually provable.

56

Publications

1.8K

Citations

88

Authors

78

Institutions

Publications per year

2017–2026

4

Authors

88

  1. MF
    Mauro Ferrari

    University of Milan, Italy

    3 publications · 45 citations

    3

    h-index

  2. PM
    Pierangelo Miglioli

    University of Milan, Italy

    3 publications · 44 citations

    3

    h-index

  3. PN
    P. N. Johnson‐Laird

    Princeton University, United States

    2 publications · 49 citations

    2

    h-index

  4. AC
    Alexander Chagrov

    Tver State University, Russia

    2 publications · 71 citations

    2

    h-index

  5. MV
    M. V. Zakhar'yashchev

    National Academy of Sciences of Belarus, Belarus

    2 publications · 53 citations

    2

    h-index

1–5 of 88

Venues

  1. Journal of Symbolic Logic

    6 publications · 274 citations

    6

    h-index

  2. Notre Dame Journal of Formal Logic

    3 publications · 67 citations

    3

    h-index

  3. Annals of Pure and Applied Logic

    3 publications · 50 citations

    3

    h-index

  4. 2

    h-index

  5. Studia Logica

    2 publications · 109 citations

    2

    h-index

1–5