Concepedia
Studia Logica · 2003 · 51 citations · 9 references
9
Linear logic
Jean-Yves Girard · Theoretical Computer Science · 1987 · 4K citations
Fiftieth volume of theoretical computer science
Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations
Engineering, Computational Model Theory, Computational Complexity +3
Light Linear Logic
Jean-Yves Girard · Information and Computation · 1998 · 323 citations
Non-classical Logic, Engineering, Automated Reasoning +5
PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
V N Grišin · Mathematics of the USSR-Izvestiya · 1982 · 99 citations
Engineering, Contraction Rules, Predicate Calculus +11
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction
Uwe Petersen · Studia Logica · 2000 · 69 citations