Lambek Calculus and Substructural Logics
2010
http://buszko.home.amu.edu.pl/LCaSLpr.pdf
lambek calculus
substructural logic
logic
/icons/hr.icon
description
Lambek calculusはexchangeを制限した部分構造論理に対応している．