Rule Separation and Embedding Theorems for Logics Without Weakening

On well-quasi-ordering finite trees

C. St. J. A. Nash‐Williams · Mathematical Proceedings of the Cambridge Philosophical Society · 1963 · 313 citations

Natural Sciences, Mathematics, Combinatorics +2

Logics without the contraction rule

Hiroakira Ono, Yuichi Komori · Journal of Symbolic Logic · 1985 · 291 citations

Humanities, Computer Science, Mathematics +12

The semantics and proof theory of linear logic

Arnon Avron · Theoretical Computer Science · 1988 · 166 citations

Computing, Computer Science, Formal Methods +13

Algebraic Semantics for Universal Horn Logic Without Equality

W. J. Blok · Medical Entomology and Zoology · 1992 · 108 citations

Language Studies, Computer Science, Mathematics +10

The finite model property for various fragments of intuitionistic linear logic

Mitsuhiro Okada, Kazushige Terui · Journal of Symbolic Logic · 1999 · 88 citations

Humanities, Computer Science, Mathematics +8