| Publication | Date of Publication | Type |
|---|
On structures of sign-boundary and diagonal vacancy-type standard contradictions
Mathematical Logic Quarterly (MLQ) | 2026-03-23 | Paper |
Some novel fuzzy logic operators with applications in fuzzy neural networks
Information Sciences | 2025-04-03 | Paper |
Fully reusing clause deduction algorithm based on standard contradiction separation rule
Information Sciences | 2024-04-25 | Paper |
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule
Information Sciences | 2023-11-09 | Paper |
Banzhaf-Choquet-copula-based aggregation operators for managing q-rung orthopair fuzzy information
Soft Computing | 2022-11-18 | Paper |
Aggregation and definition of an algebraic framework for fuzzy time series: an application in the supply-demand domain
International Journal of Approximate Reasoning | 2022-09-02 | Paper |
-paramodulation method for a lattice-valued logic L_nF(X) with equality
Soft Computing | 2022-07-21 | Paper |
Non-dominated sorting genetic-based algorithm for exploiting a large-sized fuzzy outranking relation
European Journal of Operational Research | 2021-06-07 | Paper |
A logical reasoning based decision making method for handling qualitative knowledge
International Journal of Approximate Reasoning | 2021-03-18 | Paper |
Contradiction separation based dynamic multi-clause synergized automated deduction
Information Sciences | 2020-09-09 | Paper |
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
Information Sciences | 2016-01-14 | Paper |
A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic
Soft Computing | 2015-11-30 | Paper |
A linguistic multi-criteria decision making approach based on logical reasoning
Information Sciences | 2015-09-25 | Paper |
Lattice-valued modal propositional logic based on M-lattice implication algebras
Journal of Shanghai Jiaotong University (Science) | 2014-03-27 | Paper |
Fuzzy congruence relations on lattice implication algebras
The Journal of Fuzzy Mathematics | 2013-09-04 | Paper |
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
Soft Computing | 2013-08-01 | Paper |
On compatibilities of -lock resolution method in linguistic truth-valued lattice-valued logic
Soft Computing | 2013-01-25 | Paper |
On -satisfiability and its -lock resolution in a finite lattice-valued propositional logic
Logic Journal of the IGPL | 2012-08-28 | Paper |
| A linguistic lattice-valued approach for fuzzy multi-objective decision making | 2012-04-26 | Paper |
Parameterized uncertain reasoning approach based on a lattice-valued logic
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
Information Sciences | 2011-06-22 | Paper |
| A many-valued temporal logic and reasoning framework for decision making | 2011-05-18 | Paper |
Linguistic Assessment Approach for Hierarchical Safety Analysis and Synthesis
Intelligent Decision and Policy Making Support Systems | 2009-01-28 | Paper |
| Linguistic values-based intelligent information processing: Theory, methods and applications. | 2008-12-04 | Paper |
Handling linguistic web information based on a multi-agent system
International Journal of Intelligent Systems | 2007-05-23 | Paper |
On the consistency of rule bases based on lattice-valued first-order logic LF(X)
International Journal of Intelligent Systems | 2006-05-16 | Paper |
Fuzzy Rule-Based Evidential Reasoning Approach for Safety Analysis
International Journal of General Systems | 2004-06-18 | Paper |
Rule acquisition and adjustment based on set-valued mapping.
Information Sciences | 2004-05-27 | Paper |
Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
Studies in Fuzziness and Soft Computing | 2003-09-15 | Paper |
Fuzzy reasoning based on generalized fuzzy If-Then rules
International Journal of Intelligent Systems | 2003-05-08 | Paper |
| Lattice-valued linguistic expression and its application to the safety evaluation for the transmission lines | 2003-02-13 | Paper |
(,,N) fuzzy logic
Mathware & Soft Computing | 2002-09-25 | Paper |
\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
Information Sciences | 2002-09-02 | Paper |
| scientific article; zbMATH DE number 1775532 (Why is no real title available?) | 2002-08-04 | Paper |
\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
Information Sciences | 2002-06-19 | Paper |
| scientific article; zbMATH DE number 1515614 (Why is no real title available?) | 2002-03-05 | Paper |
ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub>
International Journal of General Systems | 2000-04-09 | Paper |
| scientific article; zbMATH DE number 1419676 (Why is no real title available?) | 2000-03-21 | Paper |
\(L\)-valued propositional logic \(L_{\text{vpl}}\)
Information Sciences | 2000-01-05 | Paper |
| scientific article; zbMATH DE number 1251539 (Why is no real title available?) | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1275131 (Why is no real title available?) | 1999-08-17 | Paper |
Filters and structure of lattice implication algebra
Chinese Science Bulletin | 1998-04-01 | Paper |
Denoising Diffusion Restoration Tackles Forward and Inverse Problems for the Laplace Operator
(available as arXiv preprint) | N/A | Paper |
