Concepedia

Minimal Logic

Minimal Logic is a subsystem of intuitionistic logic that omits both the principle of explosion and the law of excluded middle, distinguishing itself by permitting inconsistent theories without trivialization while retaining constructive reasoning.

111

Publications

4K

Citations

185

Authors

123

Institutions

Publications per year

2017–2026

10

Parents

Publications

111

<b>Logical form: From GB to minimalism.</b> By Norbert Hornstein. Cambridge, MA: Blackwell, 1995. Pp ix, 267.

Daniel L. Everett · Language · 1998 · 671 citations

, , +15

In so many possible worlds.

Kit Fine · Notre Dame Journal of Formal Logic · 1972 · 192 citations · Full text

, , +11

Threshold logic circuit design of parallel adders using resonant tunneling devices

C. Pacha, U. Auer, C. Burwick et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2000 · 139 citations

, , +17

Minimal belief and negation as failure

Vladimir Lifschitz · Artificial Intelligence · 1994 · 122 citations

, , +5

Vagueness: A Minimal Theory

Patrick Greenough · Mind · 2003 · 111 citations

, , +10

1–5 of 111

Authors

185

  1. SA
    Suhaib A. Fahmy

    Nanyang Technological University, Singapore

    3 publications · 74 citations

    3

    h-index

  2. NT
    Neil Tennant

    The Ohio State University, United States

    3 publications · 68 citations

    3

    h-index

  3. LL
    L. L. Maksimova

    Russian Academy of Sciences, Russia

    3 publications · 45 citations

    3

    h-index

  4. CC
    Chip-Hong Chang

    Nanyang Technological University, Singapore

    3 publications · 111 citations

    3

    h-index

  5. HY
    Hui Yan Cheah

    Nanyang Technological University, Singapore

    3 publications · 74 citations

    3

    h-index

1–5 of 185

Institutions

123

  1. Nanyang Technological University

    Singapore, Singapore

    6 h-index

    17 publications

    546 citations

  2. Sobolev Institute of Mathematics

    Novosibirsk, Russia

    3 h-index

    3 publications

    57 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    5 publications

    121 citations

  4. University of Amsterdam

    Amsterdam, The Netherlands

    3 h-index

    6 publications

    174 citations

  5. TU Dortmund University

    Dortmund, Germany

    3 h-index

    7 publications

    630 citations

  6. University of Notre Dame

    Notre Dame, United States

    3 h-index

    4 publications

    94 citations

  7. Université Paris Cité

    Paris, France

    3 h-index

    3 publications

    86 citations

  8. University of Turin

    Turin, Italy

    3 h-index

    6 publications

    110 citations

1–8 of 123

Venues

  1. Journal of Symbolic Logic

    6 publications · 235 citations

    6

    h-index

  2. Journal of Logic and Computation

    6 publications · 113 citations

    6

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 88 citations

    5

    h-index

  4. The Review of Symbolic Logic

    4 publications · 58 citations

    4

    h-index

  5. Notre Dame Journal of Formal Logic

    4 publications · 234 citations

    4

    h-index

1–5