Linear Logic

...athematical Foundations) 线性逻辑(Linear Logic) 代数逻辑(Algebraic Logic ) 证明论(Proof Theory ) 构造性数学(Constructive...

...是一目十行，还不能过目不忘，以前的人对事情的认识是线性推理的逻辑(Linear logic)，这对理解和认识影响很大。

但是，笔者理解到此类线性思维（linear logic）往往将实际情况简单化，以至未能反映事件发生的立体性。笔者从经验中不断体 …