“multiset”的概念、定义、翻译、参考文献-科学参考

multiset

Computer

Logic

A generalization of the notion of set in which more than one instance of a member may appear in a collection. In set theory, the collections ${a, a, b}$ and ${a, b}$ are identified with one another. But some contexts in logic, e.g., in proof theory, require that one distinguishes the two. For example, in the structural rule of left-contraction, i.e.,
$\frac{Γ, φ, φ \Rightarrow Δ}{Γ, φ \Rightarrow Δ} L-Con$
the antecedents $Γ \cup {φ}$ and $Γ \cup {φ, φ}$ are treated as distinct objects.

单词	multiset
释义	multiset Computer Another name for bag. Logic A generalization of the notion of set in which more than one instance of a member may appear in a collection. In set theory, the collections ${a, a, b}$ and ${a, b}$ are identified with one another. But some contexts in logic, e.g., in proof theory, require that one distinguishes the two. For example, in the structural rule of left-contraction, i.e., $\frac{Γ, φ, φ \Rightarrow Δ}{Γ, φ \Rightarrow Δ} L-Con$ the antecedents $Γ \cup {φ}$ and $Γ \cup {φ, φ}$ are treated as distinct objects.
随便看	airgun air-lift air-lift pump air-lift reactor air lock airlock air mass airmass air pollution airport surveillance radar air pressure air resistance air sac air-sampling system air separator air shower air-to-close air wave Airy disk Airy function Airy, George Biddell (1801–92) Airy model Airy phase Airy, Sir George Biddell air–sea interaction