Що таке лінійна логіка?

поняття "лінійна логіка" з'явилося в 1987 році, що є импликативного фрагментом, яка представляє собою BCI-логіку, а точніше логіку без скорочення і уточнення. Також логіка без стоншення, перестановки або скорочення є асоціативним обчисленням Ламбека для граматичних категорій, а також синтаксичних типів.