composed into sets, but rather they are composed into more fine-grained structures, such as trees or multisets (sets that distinguish multiple occurrences of elements) or sequences of formulae. For example, in linear logic, since contraction fails, the premises must be composed in something at least as fine-grained as multisets.

History

Substructural logic is a relatively young field. The first conference on the topic was held in October 1990 in Tübingen,

1.Previous
3.Next