pomset

pomset
noun /pɒmsɛt/
Partial ordered multiset.

As usual, pomsets can be made setlike by requiring that the elements of the sets X should be chosen from a given set.

See Also: tomset

Wikipedia foundation.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Noncommutative logic — is an extension of linear logic which combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus (see External links below). Its sequent calculus relies on the structure of order …   Wikipedia

  • tomset — noun /tɒmsɛt/ Totally ordered multiset. See Also: pomset …   Wiktionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”