Concepedia

Substructural Logics

Substructural Logic is a type of formal logical system distinguished from classical and intuitionistic logics by the absence or restriction of one or more structural rules—such as weakening, contraction, or exchange—governing the manipulation of premises in deductive inference.

96

Publications

3.1K

Citations

118

Authors

93

Institutions

Publications per year

2017–2026

19

Variants

Substructural Logic

Parents

Publications

96

Substructural fuzzy logics

George Metcalfe, Franco Montagna · Journal of Symbolic Logic · 2007 · 168 citations

, , +12

Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations

Guido Governatori, Antonino Rotolo · The Australasian Journal of Logic · 2018 · 132 citations · Full text

, , +13

Canonical extensions and relational completeness of some substructural logics

J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano · Journal of Symbolic Logic · 2005 · 122 citations

, , +17

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

Substructural logics on display

Rajeev Goré · Logic Journal of IGPL · 1998 · 100 citations

, , +7

1–5 of 96

Authors

118

  1. HO
    Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Japan

    7 publications · 240 citations

    7

    h-index

  2. NG
    Nikolaos Galatos

    University of Denver, United States

    6 publications · 427 citations

    6

    h-index

  3. KT
    Kazushige Terui

    Kyoto University, Japan

    4 publications · 312 citations

    4

    h-index

  4. AP
    Alessandra Palmigiano

    University of Johannesburg, South Africa

    4 publications · 194 citations

    4

    h-index

  5. GR
    Greg Restall

    The University of Melbourne, Australia

    3 publications · 101 citations

    3

    h-index

1–5 of 118

Institutions

93

  1. Japan Advanced Institute of Science and Technology

    Nomi Shi, Japan

    6 h-index

    8 publications

    326 citations

  2. Universidad de Buenos Aires

    Buenos Aires, Argentina

    5 h-index

    10 publications

    238 citations

  3. Consejo Nacional de Investigaciones Científicas y Técnicas

    Buenos Aires, Argentina

    5 h-index

    10 publications

    283 citations

  4. Universitat de Barcelona

    Barcelona, Spain

    4 h-index

    4 publications

    191 citations

  5. University of Denver

    Denver, United States

    4 h-index

    4 publications

    326 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    6 publications

    148 citations

  7. University of Johannesburg

    Johannesburg, South Africa

    3 h-index

    9 publications

    216 citations

  8. University of Cagliari

    Cagliari, Italy

    3 h-index

    3 publications

    102 citations

1–8 of 93

Venues

  1. The Review of Symbolic Logic

    8 publications · 258 citations

    8

    h-index

  2. Journal of Logic and Computation

    7 publications · 202 citations

    7

    h-index

  3. Logic Journal of IGPL

    7 publications · 231 citations

    7

    h-index

  4. Synthese

    5 publications · 141 citations

    6

    h-index

  5. Mathematical logic quarterly

    MLQ · 5 publications · 64 citations

    5

    h-index

1–5