Сызықтық логика

Recent, work in ca.t;eg(Mj gr;mmt;~r has seen proposals for a wide. r;Lltg(~ O[ sys-. t;(;i[IS, differing in their 'resomx:e sensi- tivil;y' and hence, implicitly, {;heir under.. lying nol;ion of qinguisl;ie …...

AbstractLinear logic and the linear λ-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are …...