Grafting Modalities onto Substructural Implication Systems

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

Semantics for relevant logics

Alasdair Urquhart · Journal of Symbolic Logic · 1972 · 254 citations

Humanities, Philosophy, Logic +14

Display logic

Nuel Belnap · Journal of Philosophical Logic · 1982 · 212 citations

The semantics and proof theory of linear logic

Arnon Avron · Theoretical Computer Science · 1988 · 166 citations

Computing, Computer Science, Formal Methods +13

The Taming of the Cut. Classical Refutations with Analytic Cut

MARCELLO D' AGOSTINO, Marco Mondadori · Journal of Logic and Computation · 1994 · 157 citations

Computing, Computer Science, Mathematics +9