Premise Composition
There are numerous ways to compose premises (and in the multiple conclusion case, conclusions as well). One way is to collect them into a set. But since e.g. {a,a} = {a} we have contraction for free if premises are sets. We also have associativity and permutation (or commutativity) for free as well, among other properties. In substructural logics, typically premises are not 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.
Read more about this topic: Substructural Logic
Famous quotes containing the words premise and/or composition:
“We have to give ourselves—men in particular—permission to really be with and get to know our children. The premise is that taking care of kids can be a pain in the ass, and it is frustrating and agonizing, but also gratifying and enjoyable. When a little kid says, “I love you, Daddy,” or cries and you comfort her or him, life becomes a richer experience.”
—Anonymous Father. Ourselves and Our Children, by Boston Women’s Health Book Collective, ch. 3 (1978)
“Viewed freely, the English language is the accretion and growth of every dialect, race, and range of time, and is both the free and compacted composition of all.”
—Walt Whitman (1819–1892)