Ordered logic (linear logic)