Non-commutative logic I: the multiplicative fragment

• 1 November 1999
• journal article
• Published by Elsevier in Annals of Pure and Applied Logic
• Vol. 101  (1) , 29-64
• https://doi.org/10.1016/s0168-0072(99)00014-7

Abstract

Keywords

• 03F03
• 06A06
• LINEAR LOGIC
• PROOF NETS
• SEQUENT CALCULUS
• ORDER VARIETIES