| Publication | Date of Publication | Type |
|---|
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 |
| scientific article; zbMATH DE number 7580271 (Why is no real title available?) | 2022-09-01 | Paper |
| scientific article; zbMATH DE number 7580272 (Why is no real title available?) | 2022-09-01 | Paper |
| Rule of inference in gradational lattice-valued propositional logic \(\mathrm{L_{vpl}}\) | 2021-09-29 | Paper |
An Efficient Layered Decoding Architecture for Nonbinary QC-LDPC Codes
IEEE Transactions on Circuits and Systems I: Regular Papers | 2021-08-26 | Paper |
A logical reasoning based decision making method for handling qualitative knowledge
International Journal of Approximate Reasoning | 2021-03-18 | Paper |
| scientific article; zbMATH DE number 7267153 (Why is no real title available?) | 2020-10-27 | Paper |
Contradiction separation based dynamic multi-clause synergized automated deduction
Information Sciences | 2020-09-09 | Paper |
Characteristics of successful opinion leaders in a bounded confidence model
Physica A | 2018-11-13 | 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 |
A new fuzzy risk analysis method based on similarity measures of generalized fuzzy numbers
Fuzzy Systems and Mathematics | 2014-11-03 | Paper |
| scientific article; zbMATH DE number 6311053 (Why is no real title available?) | 2014-06-30 | Paper |
Output regulation of nonlinear singularly perturbed systems based on T-S fuzzy model
Journal of Control Theory and Applications | 2014-04-11 | Paper |
Lattice-valued modal propositional logic based on M-lattice implication algebras
Journal of Shanghai Jiaotong University (Science) | 2014-03-27 | Paper |
On filters of lattice implication product algebra \(\mathcal{L}^1\times\mathcal{L}^2\)
The Journal of Fuzzy Mathematics | 2013-10-16 | Paper |
Multi-fold fuzzy associative filter of residuated lattice implication algebras
The Journal of Fuzzy Mathematics | 2013-09-03 | Paper |
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
Soft Computing | 2013-08-01 | Paper |
| Annihilators in lattice implication algebras | 2013-06-20 | Paper |
On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
Soft Computing | 2013-01-25 | Paper |
The extended filter in lattice implication algebras
Fuzzy Systems and Mathematics | 2012-10-05 | Paper |
Parameterized uncertain reasoning approach based on a lattice-valued logic
Lecture Notes in Computer Science | 2011-06-29 | Paper |
| Multi-fold fuzzy positive implicative filter of residuated lattice implication algebras | 2010-11-05 | Paper |
| Order topology and interval topology of MV-algebras | 2010-02-12 | Paper |
| scientific article; zbMATH DE number 5631524 (Why is no real title available?) | 2009-11-11 | Paper |
| scientific article; zbMATH DE number 5307868 (Why is no real title available?) | 2008-08-06 | Paper |
| On relationships of filters in lattice implication algebra | 2007-11-12 | Paper |
| scientific article; zbMATH DE number 5080567 (Why is no real title available?) | 2006-12-18 | Paper |
| scientific article; zbMATH DE number 5080568 (Why is no real title available?) | 2006-12-18 | Paper |
| Normal fuzzy filters in lattice implication algebras | 2006-12-18 | Paper |
| scientific article; zbMATH DE number 5041127 (Why is no real title available?) | 2006-07-14 | Paper |
Fuzzy logic from the viewpoint of machine intelligence
Fuzzy Sets and Systems | 2006-06-09 | Paper |
Output regulation of nonlinear singularly perturbed systems
Computers & Mathematics with Applications | 2004-09-23 | Paper |
| scientific article; zbMATH DE number 1895022 (Why is no real title available?) | 2003-07-27 | Paper |
