Concepedia

Intuitionistic Logic

Intuitionistic Logic is a system of formal logic that differs from classical logic by rejecting the law of excluded middle and emphasizing constructive proof, wherein a proposition is considered true only if there is direct evidence or a method to construct its proof.

3K

Publications

186K

Citations

3.5K

Authors

1.4K

Institutions

Publications per year

2017–2026

893

Variants

Constructive Logic

Parents

Children

Publications

3K

1–5 of 3K

Authors

3.5K

  1. ZX
    Zeshui Xu

    Sichuan University, China

    87 publications · 14.8K citations

    48

    h-index

  2. HG
    Harish Garg

    Thapar Institute of Engineering & Technology, India

    57 publications · 4.7K citations

    38

    h-index

  3. KA
    Krassimir Atanassov

    Bulgarian Academy of Sciences, Bulgaria

    42 publications · 8.4K citations

    27

    h-index

  4. SC
    Shyi‐Ming Chen

    National Taiwan University of Science and Technology, Taiwan

    30 publications · 2.8K citations

    24

    h-index

  5. ES
    Eulalia Szmidt

    Polish Academy of Sciences, Poland

    32 publications · 4.2K citations

    22

    h-index

1–5 of 3.5K

Institutions

1.4K

  1. Thapar Institute of Engineering & Technology

    Patiāla, India

    37 h-index

    93 publications

    7.5K citations

  2. Sichuan University

    Chengdu, China

    33 h-index

    87 publications

    4.7K citations

  3. Central South University

    Changsha, China

    30 h-index

    126 publications

    10K citations

  4. National Taiwan University of Science and Technology

    Taipei, Taiwan

    27 h-index

    56 publications

    5K citations

  5. PLA Army Engineering University

    Nanjing, China

    27 h-index

    63 publications

    6.8K citations

  6. Polish Academy of Sciences

    Warsaw, Poland

    24 h-index

    63 publications

    8.9K citations

  7. Systems Research Institute

    Warsaw, Poland

    24 h-index

    58 publications

    8.8K citations

  8. Jiangxi University of Finance and Economics

    Nanchang, China

    23 h-index

    56 publications

    3.5K citations

1–8 of 1.4K

Venues

  1. Information Sciences

    103 publications · 10.7K citations

    58

    h-index

  2. Journal of Symbolic Logic

    107 publications · 8.3K citations

    46

    h-index

  3. Fuzzy Sets and Systems

    60 publications · 17.4K citations

    40

    h-index

  4. Applied Soft Computing

    52 publications · 3.9K citations

    37

    h-index

  5. Journal of Intelligent & Fuzzy Systems

    155 publications · 6K citations

    37

    h-index

1–5