Jun Liu

Available identifiers

zbMath Open liu.jun.2WikidataQ95949165 ScholiaQ95949165MaRDI QIDQ209287

List of research outcomes

Publication	Date of Publication	Type
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule	2023-11-09	Paper
Banzhaf-Choquet-copula-based aggregation operators for managing q-rung orthopair fuzzy information	2022-11-18	Paper
Aggregation and definition of an algebraic framework for fuzzy time series: an application in the supply-demand domain	2022-09-02	Paper
\( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality	2022-07-21	Paper
Non-dominated sorting genetic-based algorithm for exploiting a large-sized fuzzy outranking relation	2021-06-07	Paper
A logical reasoning based decision making method for handling qualitative knowledge	2021-03-18	Paper
Contradiction separation based dynamic multi-clause synergized automated deduction	2020-09-09	Paper
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words	2016-01-14	Paper
A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic	2015-11-30	Paper
A linguistic multi-criteria decision making approach based on logical reasoning	2015-09-25	Paper
Lattice-valued modal propositional logic based on M-lattice implication algebras	2014-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q2847317	2013-09-04	Paper
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic	2013-08-01	Paper
On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic	2013-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5389225	2012-04-26	Paper
Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic	2011-06-29	Paper
Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)	2011-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q2998257	2011-05-18	Paper
Linguistic Assessment Approach for Hierarchical Safety Analysis and Synthesis	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q3543594	2008-12-04	Paper
Handling linguistic web information based on a multi-agent system	2007-05-23	Paper
On the consistency of rule bases based on lattice-valued first-order logic LF(X)	2006-05-16	Paper
Fuzzy Rule-Based Evidential Reasoning Approach for Safety Analysis	2004-06-18	Paper
Rule acquisition and adjustment based on set-valued mapping.	2004-05-27	Paper
Lattice-valued logic. An alternative approach to treat fuzziness and incomparability	2003-09-15	Paper
Fuzzy reasoning based on generalized fuzzy If-Then rules	2003-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q2737608	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2775909	2002-09-25	Paper
\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)	2002-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4544362	2002-08-04	Paper
\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)	2002-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4508033	2002-03-05	Paper
ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft	2000-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4942561	2000-03-21	Paper
\(L\)-valued propositional logic \(L_{\text{vpl}}\)	2000-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q4231009	1999-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4237708	1999-08-17	Paper
Filters and structure of lattice implication algebra	1998-04-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jun Liu