“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.
随便看	psychoanalysis psychogeography psychokinesis psycholinguistics psychological egoism psychological hedonism psychologism psychometrics Psychometric Society Psychometrika psychophysical laws psychophysical parallelism psychrometer psychrometric chart psychrometry psychrophile psychrophilic ptarmigan Pteraspida Pteraspis Pteridophyta pteridophyte pteridophytes Pteridospermales pterobranch