Article-Journal

Implication operators in fuzzy logic
引用 DOI
Lattice-theoretic models of conjectures, hypotheses and consequences
Trillas, Cubillo and Castiñeira [Artificial Intelligence 117 (2000) 255–275] defined several interesting operators in orthocomplemented …
Mingsheng Ying, Huaiqing Wang
引用 DOI URL
Universal and original-preserving quantum copying is impossible
We show that an arbitrary quantum state cannot be universally 1→2 copied keeping the original copy unchanged. Indeed, the density …
Yuan Feng, Shengyu Zhang, Xiaoming Sun, Mingsheng Ying
引用 DOI URL
Universal quantum-copying machines: a sufficient and necessary condition
It was shown that the copying quality of the Wootters–Zurek quantum copying machine depends on the input states. So Buzek and Hillery …
引用 DOI URL
Wootters–Zurek quantum-copying machine: the higher-dimensional case
We examine Wootters–Zurek quantum-copying machine on a higher-dimensional state space and evaluate the index Da of copying quality and …
引用 DOI URL
Upper bound for the success probability of unambiguous discrimination among quantum states
Shengyu Zhang, Yuan Feng, Xiaoming Sun, Mingsheng Ying
引用 DOI URL
Recursive equations in higher-order process calculi
Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. …
Mingsheng Ying, Martin Wirsing
引用 DOI URL
Automata Theory Based on Quantum Logic II
We establish the pumping lemma in automata theory based on quantum logicunder certain conditions on implication, and discuss the …
引用 DOI URL
Approximate Reasoning Based on Similarity
Abstract The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the …
Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying
引用 DOI URL
Declarative semantics of programming in residuated lattice-valued logic
引用