| Publication | Date of Publication | Type |
|---|
Algebraic properties of approximate bisimulation relations for fuzzy automata
Fuzzy Sets and Systems | 2025-11-06 | Paper |
Generalized possibility computation tree logic with frequency and its model checking
International Journal of Approximate Reasoning | 2024-09-02 | Paper |
Multiplicative consistency of hesitant-intuitionistic fuzzy preference relations and its multi-criteria decision-making method
Journal of Nonlinear and Convex Analysis | 2024-07-02 | Paper |
The standard symmetrized skew information and its applications
Journal of Physics A: Mathematical and Theoretical | 2024-06-25 | Paper |
Relative approximate bisimulations for fuzzy picture automata
Information and Computation | 2024-06-21 | Paper |
Quantifying correlations relative to channels via metric-adjusted skew information
Quantum Information Processing | 2024-04-25 | Paper |
Imaginaring and deimaginaring power of quantum channels and the trade-off between imaginarity and entanglement
Quantum Information Processing | 2024-01-16 | Paper |
Quantifying channel coherence via the norm distance
Journal of Physics A: Mathematical and Theoretical | 2024-01-12 | Paper |
Distillability for non-full-rank coherent states in the probabilistic framework
Quantum Information Processing | 2023-02-16 | Paper |
Coherence-breaking superchannels
Quantum Information Processing | 2022-12-05 | Paper |
An approach to construct entropies on interval-valued intuitionistic fuzzy sets by their distance functions
Soft Computing | 2022-11-18 | Paper |
Geometric block-coherence and quantum state discrimination
Journal of Physics A: Mathematical and Theoretical | 2022-11-11 | Paper |
Coherence weight of quantum channels
Physica A | 2022-07-22 | Paper |
On quotients of formal power series
Information and Computation | 2022-06-08 | Paper |
Distance measures on intuitionistic hesitant fuzzy set and its application in decision-making
Computational and Applied Mathematics | 2021-09-10 | Paper |
Sufficient Conditions of the Same State Order Induced by Coherence
Communications in Theoretical Physics | 2021-01-12 | Paper |
Computation tree logic model checking based on multi-valued possibility measures
Information Sciences | 2020-11-27 | Paper |
| Strong consistency of nearest neighbor estimator of density function for NSD sequences | 2020-08-12 | Paper |
| \(L\)-valued alternating tree automata | 2020-08-12 | Paper |
Fuzzy alternating automata over distributive lattices
Information Sciences | 2020-07-16 | Paper |
The relationships among several forms of weighted finite automata over strong bimonoids
Information Sciences | 2020-02-07 | Paper |
Model checking of linear-time properties in multi-valued systems
Information Sciences | 2020-01-07 | Paper |
Hierarchical polygamy inequality for entanglement of Tsallis \(q\)-entropy
Communications in Theoretical Physics | 2018-11-21 | Paper |
Entropic cohering power in quantum operations
Quantum Information Processing | 2018-11-07 | Paper |
| Consistency of the kernel estimator of the density function for NSD sequence | 2018-10-22 | Paper |
Multiparty quantum direct secret sharing of classical information with Bell states and Bell measurements
International Journal of Theoretical Physics | 2018-06-13 | Paper |
Dynamics of Cohering and Decohering Power under Markovian Channels
Communications in Theoretical Physics | 2018-03-13 | Paper |
Quantitative model checking of linear-time properties based on generalized possibility measures
Fuzzy Sets and Systems | 2018-02-20 | Paper |
On tree-preserving constraints
Annals of Mathematics and Artificial Intelligence | 2018-01-11 | Paper |
The Tsallis relative 2-entropy of coherence for qubit system
International Journal of Theoretical Physics | 2017-12-19 | Paper |
Fuzzy alternating Büchi automata over distributive lattices
International Journal of Approximate Reasoning | 2017-11-17 | Paper |
Ordering states with Tsallis relative \(\alpha \)-entropies of coherence
Quantum Information Processing | 2017-10-24 | Paper |
Quantum coherence quantifiers based on Rényi \(\alpha\)-relative entropy
Communications in Theoretical Physics | 2017-09-14 | Paper |
| scientific article; zbMATH DE number 6746918 (Why is no real title available?) | 2017-07-14 | Paper |
| Exogenous quantum Markov chains and reachability analysis | 2017-07-14 | Paper |
Temporal normal form for linear temporal logic formulae
Journal of Intelligent & Fuzzy Systems | 2017-05-19 | Paper |
Lattice and metric completions of the classical logic metric space and a comparison
Journal of Intelligent & Fuzzy Systems | 2017-05-18 | Paper |
Computation tree logic model checking based on possibility measures
Fuzzy Sets and Systems | 2017-05-18 | Paper |
Model checking fuzzy computation tree logic
Fuzzy Sets and Systems | 2017-05-18 | Paper |
| scientific article; zbMATH DE number 6718877 (Why is no real title available?) | 2017-05-17 | Paper |
| scientific article; zbMATH DE number 6719346 (Why is no real title available?) | 2017-05-17 | Paper |
| scientific article; zbMATH DE number 6719345 (Why is no real title available?) | 2017-05-17 | Paper |
On conditions for semirings to induce compact information algebras
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Nondeterministic fuzzy automata with membership values in complete residuated lattices
International Journal of Approximate Reasoning | 2017-02-22 | Paper |
Ideal access structures based on a class of minimal linear codes
International Journal of Computer Mathematics | 2017-02-01 | Paper |
The asympotic properties of the sample quantile estimator of VaR under positive associated samples
Journal of Mathematics. Wuhan University | 2016-10-06 | Paper |
A central limit theorem for strong mixing sequence and its application in regression model
Mathematica Applicata | 2016-10-06 | Paper |
Similarity degree via logic equivalence of fuzzy sets
Journal of Shaanxi Normal University. Natural Science Edition | 2016-10-06 | Paper |
Monogamy of \(\alpha\)th power entanglement measurement in qubit systems
Annals of Physics | 2016-09-02 | Paper |
| Finite automata with membership values in lattices and monadic second-order lattice-valued logic | 2016-08-10 | Paper |
| scientific article; zbMATH DE number 6611375 (Why is no real title available?) | 2016-08-10 | Paper |
| Quantitative approach for linear temporal logic based on DTMC | 2016-08-10 | Paper |
| Pointwise strong consistency of recursive kernel estimator for probability density and failure rate function under WOD sequence | 2016-08-10 | Paper |
| Minimal-determinization of weighted automaton | 2016-08-10 | Paper |
| On a condition for semirings to induce compact information algebras. | 2016-05-03 | Paper |
Pasting of lattice-ordered effect algebras
Fuzzy Sets and Systems | 2016-05-02 | Paper |
The universal fuzzy automaton
Fuzzy Sets and Systems | 2016-04-28 | Paper |
Approximate reasoning in quantitative logic
Fuzzy Systems and Mathematics | 2016-03-17 | Paper |
Relations of some kinds of lattice-valued finite automata
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
Congruences and homomorphisms of lattice-valued Mealy-type machines
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
Decomposition and resolution of \(\theta\)-fuzzy relation equations
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
| A solution configuration and its algorithm of valuation algebras induced by a constraint semiring | 2016-01-15 | Paper |
| Fixed-point semantics of computation tree logic based on generalized possibility measures | 2016-01-15 | Paper |
| A domain-free information algebraic model and an algorithm based on soft set | 2016-01-15 | Paper |
Model checking computation tree logic over finite lattices
Theoretical Computer Science | 2015-12-15 | Paper |
Robustness analysis of logic metrics on \(F(X)\)
International Journal of Approximate Reasoning | 2015-11-17 | Paper |
Exponentials in a Cartesian closed category which contains all algebraic domains
Applied Categorical Structures | 2015-10-29 | Paper |
| Model checking of reachability problems based on generalized possibility measures | 2015-10-28 | Paper |
| scientific article; zbMATH DE number 6453565 (Why is no real title available?) | 2015-06-29 | Paper |
| scientific article; zbMATH DE number 6454071 (Why is no real title available?) | 2015-06-29 | Paper |
| scientific article; zbMATH DE number 6401756 (Why is no real title available?) | 2015-02-11 | Paper |
| Uniformly asymptotic normality of quantile estimates for a kind of mixing random variable | 2015-02-11 | Paper |
Monogamy of measurement-induced nonlocality based on relative entropy
Communications in Theoretical Physics | 2015-01-23 | Paper |
On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
Theoretical Computer Science | 2014-12-12 | Paper |
Lattice-valued simulations for quantitative transition systems
International Journal of Approximate Reasoning | 2014-11-24 | Paper |
Quantum Müller automata and monadic second-order quantum logic
Journal of Software | 2014-11-03 | Paper |
Soft subsets and soft product operations
Information Sciences | 2014-08-01 | Paper |
| Finite automata with membership values in lattices and monadic second-order lattice-valued logic | 2014-06-30 | Paper |
| Some properties of computation tree logic under possibility measures | 2014-06-30 | Paper |
Algebraic properties of \(L\)-fuzzy finite automata
Information Sciences | 2014-04-16 | Paper |
Commutativity of quantum weakest liberal precondition and its properties
Journal of Software | 2014-02-28 | Paper |
Quantum and classical correlations in quantum measurement
Foundations of Physics | 2013-08-06 | Paper |
| Fuzzy residual finite automata | 2013-06-20 | Paper |
| scientific article; zbMATH DE number 6179153 (Why is no real title available?) | 2013-06-20 | Paper |
| scientific article; zbMATH DE number 6174607 (Why is no real title available?) | 2013-06-12 | Paper |
| scientific article; zbMATH DE number 6174624 (Why is no real title available?) | 2013-06-12 | Paper |
A new order relation on fuzzy soft sets and its application
Soft Computing | 2013-06-11 | Paper |
Remark on the one-way quantum deficit for general two-qubit states
Communications in Theoretical Physics | 2013-06-10 | Paper |
ON TWO TYPES OF CONTINUOUS INFORMATION ALGEBRAS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-11-15 | Paper |
Relationships between pseudo-weighted Mealy machines and pseudo-weighted Moore machines
Fuzzy Systems and Mathematics | 2012-10-05 | Paper |
Pairwise quantum correlations for superpositions of Dicke states
Communications in Theoretical Physics | 2012-09-26 | Paper |
A new algorithm for testing diagnosability of fuzzy discrete event systems
Information Sciences | 2012-06-08 | Paper |
| Note about fixed points of Scott continuous self-mappings | 2012-01-27 | Paper |
| On homomorphism of valuation algebras. | 2012-01-27 | Paper |
| scientific article; zbMATH DE number 6002417 (Why is no real title available?) | 2012-01-27 | Paper |
| Relationships among several types of finite automata based on quantum logic | 2012-01-27 | Paper |
The upper bound and continuity of quantum discord
Journal of Physics A: Mathematical and Theoretical | 2011-10-10 | Paper |
| scientific article; zbMATH DE number 5943788 (Why is no real title available?) | 2011-08-28 | Paper |
| scientific article; zbMATH DE number 5943774 (Why is no real title available?) | 2011-08-28 | Paper |
| Pushdown automata and context-free grammars based on quantum logic | 2011-07-19 | Paper |
Homomorphisms, separable extensions, and Morita maps for weak module algebras.
Siberian Mathematical Journal | 2011-05-19 | Paper |
Finite automata theory with membership values in lattices
Information Sciences | 2011-03-25 | Paper |
Application of level soft sets in decision making based on interval-valued fuzzy soft sets
Computers & Mathematics with Applications | 2010-12-27 | Paper |
An algorithm of adaptive kernel-bandwidth for mean-shift based on boundary force
Journal of Software | 2010-11-05 | Paper |
| A necessary and sufficient condition for left-continuity of interval-valued triangular norms | 2010-07-08 | Paper |
Linguistic quantifiers based on Choquet integrals
International Journal of Approximate Reasoning | 2010-03-18 | Paper |
Approximation and robustness of fuzzy finite automata
International Journal of Approximate Reasoning | 2010-03-18 | Paper |
Approximation of fuzzy context-free grammars
Information Sciences | 2010-01-28 | Paper |
Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
Fuzzy Sets and Systems | 2009-12-07 | Paper |
| On agreement of Isbell and Scott topologies on domain function spaces | 2009-11-11 | Paper |
Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata
Soft Computing | 2009-09-18 | Paper |
| The \(n\)-valued logic system \(G_n\) based on a derived operator of the Gödel implication operator | 2009-07-22 | Paper |
| Construction of scale generalized effect algebras and scale effect algebras | 2009-07-22 | Paper |
Weakly regular quantum grammars and asynchronous quantum automata
International Journal of Theoretical Physics | 2009-04-21 | Paper |
Some algebraic properties of measure-once two-way quantum finite automata
Quantum Information Processing | 2009-03-27 | Paper |
The relationship of controllability between classical and fuzzy discrete-event systems
Information Sciences | 2008-11-20 | Paper |
Approximation and universality of fuzzy Turing machines
Science in China. Series F | 2008-11-10 | Paper |
Algebraic properties on the cuts of lattice-valued regular languages
Soft Computing | 2008-08-20 | Paper |
| On a restricted universal fuzzy Turing machine | 2008-06-03 | Paper |
| Generalization of the LexiT ordering method | 2007-10-23 | Paper |
Robustness of fuzzy reasoning via logically equivalence measure
Information Sciences | 2007-10-18 | Paper |
| Property of lattice-valued regular languages | 2007-09-10 | Paper |
Minimization of states in automata theory based on finite lattice-ordered monoids
Information Sciences | 2007-02-20 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Algebraic properties of \(LA\)-languages
Information Sciences | 2006-10-19 | Paper |
The relationships among several types of fuzzy automata
Information Sciences | 2006-08-14 | Paper |
| scientific article; zbMATH DE number 5033824 (Why is no real title available?) | 2006-06-19 | Paper |
A categorical approach to lattice-valued fuzzy automata
Fuzzy Sets and Systems | 2006-06-09 | Paper |
On the complemented disk algebra
The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
Regular grammars with truth values in lattice-ordered monoid and their languages
Soft Computing | 2006-03-02 | Paper |
| scientific article; zbMATH DE number 2219789 (Why is no real title available?) | 2005-10-27 | Paper |
| scientific article; zbMATH DE number 2219787 (Why is no real title available?) | 2005-10-27 | Paper |
Constructions of some quantum structures and fuzzy effect space
International Journal of Theoretical Physics | 2005-03-15 | Paper |
Anti-\(BZ\)-structure in effect algebras
International Journal of Theoretical Physics | 2005-01-19 | Paper |
Decomposition and resolution of min-implication fuzzy relation equations based on S-implications
Fuzzy Sets and Systems | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 2094809 (Why is no real title available?) | 2004-08-24 | Paper |
| scientific article; zbMATH DE number 2067653 (Why is no real title available?) | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2065081 (Why is no real title available?) | 2004-05-18 | Paper |
Generalized ideals in orthoalgebras
International Journal of Theoretical Physics | 2004-02-03 | Paper |
| scientific article; zbMATH DE number 2001311 (Why is no real title available?) | 2003-11-06 | Paper |
Constructive insertion theorems and extension theorems on extremally disconnected frames
Algebra Universalis | 2003-04-23 | Paper |
| scientific article; zbMATH DE number 1829371 (Why is no real title available?) | 2002-11-14 | Paper |
| scientific article; zbMATH DE number 1829612 (Why is no real title available?) | 2002-11-14 | Paper |
Top is a reflective and coreflective subcategory of fuzzy topological spaces
Fuzzy Sets and Systems | 2002-04-11 | Paper |
Noncommutative linear logic and its quantale semantics
Journal of Shaanxi Normal University. Natural Science Edition | 2002-02-28 | Paper |
Dual quantales and their properties
Journal of Shaanxi Normal University. Natural Science Edition | 2002-01-17 | Paper |
| scientific article; zbMATH DE number 1348801 (Why is no real title available?) | 1999-10-07 | Paper |
Generalized \((S,I)\)-complete free completely distributive lattices generated by posets
Semigroup Forum | 1999-05-30 | Paper |
| scientific article; zbMATH DE number 1150099 (Why is no real title available?) | 1998-09-14 | Paper |
Weak locale quotient morphisms and locally connected frames
Journal of Pure and Applied Algebra | 1996-07-03 | Paper |
| scientific article; zbMATH DE number 640548 (Why is no real title available?) | 1995-02-01 | Paper |
