Publication:4650584
From MaRDI portal
zbMath1059.03071MaRDI QIDQ4650584
Publication date: 18 February 2005
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Unnamed Item, Proof nets for multiplicative cyclic linear logic and Lambek calculus, Learning Lambek Grammars from Proof Frames, Correctness of linear logic proof structures is NL-complete, A geometrical procedure for computing relaxation, A geometrical representation of the basic laws of categorial grammar, Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing