Yang Xu

From MaRDI portal
Revision as of 09:25, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:209286

Available identifiers

zbMath Open xu.yangMaRDI QIDQ209286

List of research outcomes





PublicationDate of PublicationType
Bounds of the solution set to the polynomial complementarity problem2024-11-12Paper
Incremental quaternion singular value decomposition and its application for low rank quaternion matrix completion2024-08-21Paper
Fully reusing clause deduction algorithm based on standard contradiction separation rule2024-04-25Paper
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule2023-11-09Paper
Semantic theory of finite lattice-valued propositional logic2022-10-28Paper
\( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality2022-07-21Paper
Syntax theory of finite lattice-valued propositional logic2021-12-15Paper
https://portal.mardi4nfdi.de/entity/Q33809682021-09-29Paper
A logical reasoning based decision making method for handling qualitative knowledge2021-03-18Paper
https://portal.mardi4nfdi.de/entity/Q51280492020-10-27Paper
https://portal.mardi4nfdi.de/entity/Q51280502020-10-27Paper
Contradiction separation based dynamic multi-clause synergized automated deduction2020-09-09Paper
Set-blocked clause and extended set-blocked clause in first-order logic2019-11-13Paper
https://portal.mardi4nfdi.de/entity/Q46240952019-02-22Paper
Attribute extended algorithm of lattice-valued concept lattice based on congener formal context2019-02-08Paper
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization2018-10-22Paper
Correction to: ``Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization2018-10-22Paper
https://portal.mardi4nfdi.de/entity/Q45836722018-09-03Paper
https://portal.mardi4nfdi.de/entity/Q45837662018-09-03Paper
https://portal.mardi4nfdi.de/entity/Q46409922018-05-25Paper
https://portal.mardi4nfdi.de/entity/Q53680022017-10-20Paper
https://portal.mardi4nfdi.de/entity/Q57384192017-06-09Paper
https://portal.mardi4nfdi.de/entity/Q57384832017-06-09Paper
https://portal.mardi4nfdi.de/entity/Q57386372017-06-09Paper
On open problems based on fuzzy filters of pseudo BCK-algebras2017-05-18Paper
https://portal.mardi4nfdi.de/entity/Q31801972017-01-06Paper
On lifting quasi-filters and strong lifting quasi-filters in MV-algebras2016-12-15Paper
INT-SOFT FILTERS IN LATTICE IMPLICATION ALGEBRAS2016-10-26Paper
https://portal.mardi4nfdi.de/entity/Q29940782016-08-10Paper
https://portal.mardi4nfdi.de/entity/Q29942792016-08-10Paper
https://portal.mardi4nfdi.de/entity/Q27940832016-03-17Paper
https://portal.mardi4nfdi.de/entity/Q27909842016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27910092016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27911412016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27911612016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27911862016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27912502016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27914902016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27915002016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27915142016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27915632016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27916682016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27917322016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27932822016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27932962016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27933202016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27933372016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27933642016-03-15Paper
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words2016-01-14Paper
A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic2015-11-30Paper
A linguistic multi-criteria decision making approach based on logical reasoning2015-09-25Paper
Approximation operators on complete completely distributive lattices2015-09-24Paper
https://portal.mardi4nfdi.de/entity/Q52577222015-06-29Paper
Interval-valued $\mathcal{T}$-fuzzy filters and interval-valued $\mathcal{T}$-fuzzy congruences on residuated lattices2015-02-18Paper
https://portal.mardi4nfdi.de/entity/Q54976892015-02-11Paper
A Rule-Based Inference Method Using Dempster–Shafer Theory2015-01-21Paper
https://portal.mardi4nfdi.de/entity/Q29359932015-01-05Paper
https://portal.mardi4nfdi.de/entity/Q29321432014-11-28Paper
https://portal.mardi4nfdi.de/entity/Q29239132014-11-03Paper
https://portal.mardi4nfdi.de/entity/Q29239282014-11-03Paper
https://portal.mardi4nfdi.de/entity/Q29239382014-11-03Paper
https://portal.mardi4nfdi.de/entity/Q29239462014-11-03Paper
On an algebra of linguistic truth-valued intuitionistic lattice-valued logic2014-09-16Paper
https://portal.mardi4nfdi.de/entity/Q49804212014-06-30Paper
Lattice-valued modal propositional logic based on M-lattice implication algebras2014-03-27Paper
Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra2014-03-27Paper
https://portal.mardi4nfdi.de/entity/Q28536692013-10-16Paper
https://portal.mardi4nfdi.de/entity/Q28537062013-10-16Paper
https://portal.mardi4nfdi.de/entity/Q28472862013-09-04Paper
https://portal.mardi4nfdi.de/entity/Q28473172013-09-04Paper
https://portal.mardi4nfdi.de/entity/Q28473362013-09-04Paper
https://portal.mardi4nfdi.de/entity/Q28467102013-09-03Paper
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic2013-08-01Paper
https://portal.mardi4nfdi.de/entity/Q49254822013-06-12Paper
https://portal.mardi4nfdi.de/entity/Q49255112013-06-12Paper
https://portal.mardi4nfdi.de/entity/Q49255402013-06-12Paper
https://portal.mardi4nfdi.de/entity/Q49256272013-06-12Paper
On the algebraic structure of binary lattice-valued fuzzy relations2013-06-11Paper
Fuzzy prime filters of lattice implication algebras2013-02-01Paper
On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic2013-01-25Paper
https://portal.mardi4nfdi.de/entity/Q49009832013-01-24Paper
The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae2012-12-14Paper
On Fuzzy Prime Filters of Lattice H Implication Algebras2012-12-14Paper
https://portal.mardi4nfdi.de/entity/Q28864382012-06-01Paper
https://portal.mardi4nfdi.de/entity/Q28875572012-06-01Paper
https://portal.mardi4nfdi.de/entity/Q28876782012-06-01Paper
https://portal.mardi4nfdi.de/entity/Q53892162012-04-26Paper
https://portal.mardi4nfdi.de/entity/Q53892252012-04-26Paper
https://portal.mardi4nfdi.de/entity/Q53893172012-04-26Paper
https://portal.mardi4nfdi.de/entity/Q31087232012-01-05Paper
Soft Lattice Implication Algebras2011-12-02Paper
https://portal.mardi4nfdi.de/entity/Q31703122011-09-29Paper
https://portal.mardi4nfdi.de/entity/Q30903832011-08-30Paper
Congruence Relations on Lattice Implication Algebras2011-08-02Paper
Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)2011-06-22Paper
https://portal.mardi4nfdi.de/entity/Q29992842011-05-12Paper
https://portal.mardi4nfdi.de/entity/Q29964692011-05-01Paper
https://portal.mardi4nfdi.de/entity/Q30518832010-11-05Paper
https://portal.mardi4nfdi.de/entity/Q49293962010-09-22Paper
On filter theory of residuated lattices2010-09-08Paper
Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra2010-07-20Paper
A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice2010-07-13Paper
https://portal.mardi4nfdi.de/entity/Q34034392010-02-12Paper
https://portal.mardi4nfdi.de/entity/Q58526872010-01-27Paper
https://portal.mardi4nfdi.de/entity/Q36423412009-11-11Paper
On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA)2009-11-09Paper
https://portal.mardi4nfdi.de/entity/Q33960252009-09-16Paper
A uniform approach of linguistic truth values in sensor evaluation2009-09-02Paper
Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations2009-07-22Paper
https://portal.mardi4nfdi.de/entity/Q36357862009-07-06Paper
https://portal.mardi4nfdi.de/entity/Q36167172009-03-26Paper
Some types of generalized fuzzy filters of BL-algebras2009-03-12Paper
https://portal.mardi4nfdi.de/entity/Q36105242009-03-06Paper
https://portal.mardi4nfdi.de/entity/Q35435942008-12-04Paper
The compact and noncompact structures for two types of generalized Camassa-Holm-KP equations2008-10-21Paper
Generalized fuzzy filters of BL-algebras2008-08-06Paper
https://portal.mardi4nfdi.de/entity/Q35132352008-08-06Paper
https://portal.mardi4nfdi.de/entity/Q35132412008-08-06Paper
https://portal.mardi4nfdi.de/entity/Q35091382008-07-01Paper
https://portal.mardi4nfdi.de/entity/Q35045422008-06-11Paper
AN INTELLIGENT SENSORY EVALUATION METHOD FOR INDUSTRIAL PRODUCTS CHARACTERIZATION2008-05-20Paper
A fuzzy model of customer satisfaction index in e-commerce2008-04-28Paper
https://portal.mardi4nfdi.de/entity/Q54550202008-04-03Paper
https://portal.mardi4nfdi.de/entity/Q54379482008-01-28Paper
Lattice implication ordered semigroups2008-01-11Paper
https://portal.mardi4nfdi.de/entity/Q54290472007-11-29Paper
https://portal.mardi4nfdi.de/entity/Q54263542007-11-12Paper
https://portal.mardi4nfdi.de/entity/Q54263902007-11-12Paper
BCI-implicative ideals of BCI-algebras2007-10-18Paper
https://portal.mardi4nfdi.de/entity/Q35912722007-09-10Paper
Generalized fuzzy filters of \(R_{0}\)-algebras2007-09-06Paper
Intersection preserving and global expansions of subalgebras and filters in lattice implication algebras2007-08-13Paper
A fuzzy logic system based on Schweizer-Sklar t-norm2007-05-24Paper
Handling linguistic web information based on a multi-agent system2007-05-23Paper
https://portal.mardi4nfdi.de/entity/Q34402892007-05-22Paper
A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making2007-05-18Paper
Redefined fuzzy implicative filters2007-02-20Paper
Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)2007-02-16Paper
https://portal.mardi4nfdi.de/entity/Q34226182007-02-13Paper
https://portal.mardi4nfdi.de/entity/Q34151292007-01-15Paper
Pseudo-BCK algebras and PD-posets2007-01-04Paper
https://portal.mardi4nfdi.de/entity/Q34126372007-01-02Paper
https://portal.mardi4nfdi.de/entity/Q34138112006-12-18Paper
https://portal.mardi4nfdi.de/entity/Q34138142006-12-18Paper
https://portal.mardi4nfdi.de/entity/Q34138152006-12-18Paper
https://portal.mardi4nfdi.de/entity/Q34104982006-11-27Paper
AI 2005: Advances in Artificial Intelligence2006-11-14Paper
Rough Sets and Current Trends in Computing2006-11-01Paper
Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference2006-10-10Paper
An answer to the Jun-Shim-Lele's open problem on the fuzzy filters2006-09-22Paper
https://portal.mardi4nfdi.de/entity/Q54762452006-07-14Paper
https://portal.mardi4nfdi.de/entity/Q54727572006-06-12Paper
Fuzzy logic from the viewpoint of machine intelligence2006-06-09Paper
https://portal.mardi4nfdi.de/entity/Q54696042006-05-26Paper
On the consistency of rule bases based on lattice-valued first-order logic LF(X)2006-05-16Paper
https://portal.mardi4nfdi.de/entity/Q33791672006-04-06Paper
https://portal.mardi4nfdi.de/entity/Q33791702006-04-06Paper
https://portal.mardi4nfdi.de/entity/Q33708652006-02-21Paper
https://portal.mardi4nfdi.de/entity/Q33716902006-02-21Paper
A UNIFORM SPACE OF FUZZY IMPLICATION ALGEBRAS2005-12-12Paper
Fuzzy filters of MTL-algebras2005-10-10Paper
https://portal.mardi4nfdi.de/entity/Q56931202005-09-28Paper
Roughness of Filters in Lattice Implication Algebras2005-05-20Paper
https://portal.mardi4nfdi.de/entity/Q46710702005-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46710712005-04-23Paper
https://portal.mardi4nfdi.de/entity/Q48276402004-11-19Paper
https://portal.mardi4nfdi.de/entity/Q48276422004-11-19Paper
https://portal.mardi4nfdi.de/entity/Q48093622004-08-24Paper
https://portal.mardi4nfdi.de/entity/Q48093722004-08-24Paper
https://portal.mardi4nfdi.de/entity/Q44706122004-06-15Paper
Rule acquisition and adjustment based on set-valued mapping.2004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44640352004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44640362004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44580202004-03-17Paper
\(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras.2004-03-15Paper
https://portal.mardi4nfdi.de/entity/Q44057122004-02-08Paper
https://portal.mardi4nfdi.de/entity/Q44057132004-02-08Paper
https://portal.mardi4nfdi.de/entity/Q44084882003-09-22Paper
Lattice-valued logic. An alternative approach to treat fuzziness and incomparability2003-09-15Paper
https://portal.mardi4nfdi.de/entity/Q27684882003-07-09Paper
https://portal.mardi4nfdi.de/entity/Q47956372003-07-05Paper
https://portal.mardi4nfdi.de/entity/Q44057112003-06-23Paper
Fuzzy reasoning based on generalized fuzzy If-Then rules2003-05-08Paper
https://portal.mardi4nfdi.de/entity/Q45479042003-05-05Paper
https://portal.mardi4nfdi.de/entity/Q47896102003-04-06Paper
Ultra LI-ideals in lattice implication algebras2003-03-31Paper
https://portal.mardi4nfdi.de/entity/Q31480812003-03-27Paper
https://portal.mardi4nfdi.de/entity/Q47895442003-01-15Paper
https://portal.mardi4nfdi.de/entity/Q47829452003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q47829052002-12-02Paper
https://portal.mardi4nfdi.de/entity/Q47829162002-12-02Paper
https://portal.mardi4nfdi.de/entity/Q47829212002-12-02Paper
Some operations on lattice implication algebras2002-11-26Paper
https://portal.mardi4nfdi.de/entity/Q45328202002-11-13Paper
https://portal.mardi4nfdi.de/entity/Q27759092002-09-25Paper
https://portal.mardi4nfdi.de/entity/Q43294992002-09-25Paper
Fuzzy reasoning based on the extension principle2002-09-17Paper
\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)2002-09-02Paper
https://portal.mardi4nfdi.de/entity/Q45478982002-08-21Paper
https://portal.mardi4nfdi.de/entity/Q45479122002-08-21Paper
https://portal.mardi4nfdi.de/entity/Q45479152002-08-21Paper
https://portal.mardi4nfdi.de/entity/Q45443622002-08-04Paper
https://portal.mardi4nfdi.de/entity/Q27375882002-07-25Paper
https://portal.mardi4nfdi.de/entity/Q45328822002-07-24Paper
https://portal.mardi4nfdi.de/entity/Q27790062002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45374782002-07-01Paper
\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)2002-06-19Paper
https://portal.mardi4nfdi.de/entity/Q45328192002-06-05Paper
https://portal.mardi4nfdi.de/entity/Q27375812002-05-05Paper
https://portal.mardi4nfdi.de/entity/Q43294962002-05-01Paper
https://portal.mardi4nfdi.de/entity/Q45080332002-03-05Paper
https://portal.mardi4nfdi.de/entity/Q49425592001-11-13Paper
https://portal.mardi4nfdi.de/entity/Q45223772001-08-05Paper
https://portal.mardi4nfdi.de/entity/Q27051112001-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27051902001-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27053012001-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27163662001-05-15Paper
https://portal.mardi4nfdi.de/entity/Q44933722001-03-07Paper
https://portal.mardi4nfdi.de/entity/Q45223782000-12-20Paper
https://portal.mardi4nfdi.de/entity/Q38370472000-06-13Paper
Lebesgue decomposition theorem for \(\sigma\)-finite signed fuzzy measures2000-04-11Paper
ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft2000-04-09Paper
https://portal.mardi4nfdi.de/entity/Q49425612000-03-21Paper
https://portal.mardi4nfdi.de/entity/Q49425642000-03-21Paper
https://portal.mardi4nfdi.de/entity/Q49358902000-01-17Paper
\(L\)-valued propositional logic \(L_{\text{vpl}}\)2000-01-05Paper
https://portal.mardi4nfdi.de/entity/Q42450101999-09-23Paper
https://portal.mardi4nfdi.de/entity/Q42310091999-09-09Paper
https://portal.mardi4nfdi.de/entity/Q42377081999-08-17Paper
https://portal.mardi4nfdi.de/entity/Q42537281999-08-09Paper
https://portal.mardi4nfdi.de/entity/Q42346791999-03-16Paper
https://portal.mardi4nfdi.de/entity/Q43925611999-01-05Paper
https://portal.mardi4nfdi.de/entity/Q43925651999-01-05Paper
https://portal.mardi4nfdi.de/entity/Q43884771998-10-01Paper
Syntax of first-order lattice valued logic system FM1998-04-21Paper
Filters and structure of lattice implication algebra1998-04-01Paper
https://portal.mardi4nfdi.de/entity/Q48679541996-05-13Paper
https://portal.mardi4nfdi.de/entity/Q48689461996-05-13Paper
https://portal.mardi4nfdi.de/entity/Q48562511996-02-26Paper
https://portal.mardi4nfdi.de/entity/Q48562491995-11-29Paper
https://portal.mardi4nfdi.de/entity/Q43084521995-06-13Paper
https://portal.mardi4nfdi.de/entity/Q43117531994-11-20Paper
https://portal.mardi4nfdi.de/entity/Q43065281994-09-19Paper
https://portal.mardi4nfdi.de/entity/Q42754761994-05-19Paper
https://portal.mardi4nfdi.de/entity/Q46935861993-08-17Paper
https://portal.mardi4nfdi.de/entity/Q40256651993-02-18Paper
https://portal.mardi4nfdi.de/entity/Q34832891990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38183631986-01-01Paper

Research outcomes over time

This page was built for person: Yang Xu