Ordered logic (linear logic)

Summary