Found 1 document(s)
Page 1 of 1
-
Axioms ruling linear negation have been investigated in the context of the complete semantics for distributive intuitionistic linear logic. Among these are the condition of being a dualizing element and the one of being ...