| Publication | Date of Publication | Type |
|---|
| A multi-clause dynamic deduction algorithm based on standard contradiction separation rule | 2023-11-09 | Paper |
| Semantic theory of finite lattice-valued propositional logic | 2022-10-28 | Paper |
| \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality | 2022-07-21 | Paper |
| Syntax theory of finite lattice-valued propositional logic | 2021-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3380968 | 2021-09-29 | Paper |
| A logical reasoning based decision making method for handling qualitative knowledge | 2021-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5128049 | 2020-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5128050 | 2020-10-27 | Paper |
| Contradiction separation based dynamic multi-clause synergized automated deduction | 2020-09-09 | Paper |
| Set-blocked clause and extended set-blocked clause in first-order logic | 2019-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4624095 | 2019-02-22 | Paper |
| Attribute extended algorithm of lattice-valued concept lattice based on congener formal context | 2019-02-08 | Paper |
| Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization | 2018-10-22 | Paper |
| Correction to: ``Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization | 2018-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583672 | 2018-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583766 | 2018-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4640992 | 2018-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5368002 | 2017-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5738419 | 2017-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5738483 | 2017-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5738637 | 2017-06-09 | Paper |
| On open problems based on fuzzy filters of pseudo BCK-algebras | 2017-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3180197 | 2017-01-06 | Paper |
| On lifting quasi-filters and strong lifting quasi-filters in MV-algebras | 2016-12-15 | Paper |
| INT-SOFT FILTERS IN LATTICE IMPLICATION ALGEBRAS | 2016-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2994078 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2994279 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2794083 | 2016-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2790984 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791009 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791141 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791161 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791186 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791250 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791490 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791500 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791514 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791563 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791668 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791732 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2793282 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2793296 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2793320 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2793337 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2793364 | 2016-03-15 | 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 |
| Approximation operators on complete completely distributive lattices | 2015-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257722 | 2015-06-29 | Paper |
| Interval-valued $\mathcal{T}$-fuzzy filters and interval-valued $\mathcal{T}$-fuzzy congruences on residuated lattices | 2015-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5497689 | 2015-02-11 | Paper |
| A Rule-Based Inference Method Using Dempster–Shafer Theory | 2015-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2935993 | 2015-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2932143 | 2014-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2923913 | 2014-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2923928 | 2014-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2923938 | 2014-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2923946 | 2014-11-03 | Paper |
| On an algebra of linguistic truth-valued intuitionistic lattice-valued logic | 2014-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4980421 | 2014-06-30 | Paper |
| Lattice-valued modal propositional logic based on M-lattice implication algebras | 2014-03-27 | Paper |
| Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra | 2014-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853669 | 2013-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853706 | 2013-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847286 | 2013-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847317 | 2013-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847336 | 2013-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2846710 | 2013-09-03 | Paper |
| General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic | 2013-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925482 | 2013-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925511 | 2013-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925540 | 2013-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925627 | 2013-06-12 | Paper |
| On the algebraic structure of binary lattice-valued fuzzy relations | 2013-06-11 | Paper |
| Fuzzy prime filters of lattice implication algebras | 2013-02-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/Q4900983 | 2013-01-24 | Paper |
| The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae | 2012-12-14 | Paper |
| On Fuzzy Prime Filters of Lattice H Implication Algebras | 2012-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2886438 | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2887557 | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2887678 | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389216 | 2012-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389225 | 2012-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389317 | 2012-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3108723 | 2012-01-05 | Paper |
| Soft Lattice Implication Algebras | 2011-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3170312 | 2011-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090383 | 2011-08-30 | Paper |
| Congruence Relations on Lattice Implication Algebras | 2011-08-02 | Paper |
| Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) | 2011-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999284 | 2011-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996469 | 2011-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051883 | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4929396 | 2010-09-22 | Paper |
| On filter theory of residuated lattices | 2010-09-08 | Paper |
| Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra | 2010-07-20 | Paper |
| A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice | 2010-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3403439 | 2010-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5852687 | 2010-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3642341 | 2009-11-11 | Paper |
| On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) | 2009-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396025 | 2009-09-16 | Paper |
| A uniform approach of linguistic truth values in sensor evaluation | 2009-09-02 | Paper |
| Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations | 2009-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3635786 | 2009-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3616717 | 2009-03-26 | Paper |
| Some types of generalized fuzzy filters of BL-algebras | 2009-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3610524 | 2009-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3543594 | 2008-12-04 | Paper |
| The compact and noncompact structures for two types of generalized Camassa-Holm-KP equations | 2008-10-21 | Paper |
| Generalized fuzzy filters of BL-algebras | 2008-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3513235 | 2008-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3513241 | 2008-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509138 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504542 | 2008-06-11 | Paper |
| AN INTELLIGENT SENSORY EVALUATION METHOD FOR INDUSTRIAL PRODUCTS CHARACTERIZATION | 2008-05-20 | Paper |
| A fuzzy model of customer satisfaction index in e-commerce | 2008-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5455020 | 2008-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5437948 | 2008-01-28 | Paper |
| Lattice implication ordered semigroups | 2008-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5429047 | 2007-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5426354 | 2007-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5426390 | 2007-11-12 | Paper |
| BCI-implicative ideals of BCI-algebras | 2007-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3591272 | 2007-09-10 | Paper |
| Generalized fuzzy filters of \(R_{0}\)-algebras | 2007-09-06 | Paper |
| Intersection preserving and global expansions of subalgebras and filters in lattice implication algebras | 2007-08-13 | Paper |
| A fuzzy logic system based on Schweizer-Sklar t-norm | 2007-05-24 | Paper |
| Handling linguistic web information based on a multi-agent system | 2007-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3440289 | 2007-05-22 | Paper |
| A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making | 2007-05-18 | Paper |
| Redefined fuzzy implicative filters | 2007-02-20 | Paper |
| Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) | 2007-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3422618 | 2007-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3415129 | 2007-01-15 | Paper |
| Pseudo-BCK algebras and PD-posets | 2007-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3412637 | 2007-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413811 | 2006-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413814 | 2006-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413815 | 2006-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3410498 | 2006-11-27 | Paper |
| AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
| Rough Sets and Current Trends in Computing | 2006-11-01 | Paper |
| Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference | 2006-10-10 | Paper |
| An answer to the Jun-Shim-Lele's open problem on the fuzzy filters | 2006-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5476245 | 2006-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472757 | 2006-06-12 | Paper |
| Fuzzy logic from the viewpoint of machine intelligence | 2006-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5469604 | 2006-05-26 | Paper |
| On the consistency of rule bases based on lattice-valued first-order logic LF(X) | 2006-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3379167 | 2006-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3379170 | 2006-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3370865 | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3371690 | 2006-02-21 | Paper |
| A UNIFORM SPACE OF FUZZY IMPLICATION ALGEBRAS | 2005-12-12 | Paper |
| Fuzzy filters of MTL-algebras | 2005-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5693120 | 2005-09-28 | Paper |
| Roughness of Filters in Lattice Implication Algebras | 2005-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671070 | 2005-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671071 | 2005-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4827640 | 2004-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4827642 | 2004-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809362 | 2004-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809372 | 2004-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470612 | 2004-06-15 | Paper |
| Rule acquisition and adjustment based on set-valued mapping. | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4464035 | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4464036 | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458020 | 2004-03-17 | Paper |
| \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405712 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405713 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408488 | 2003-09-22 | Paper |
| Lattice-valued logic. An alternative approach to treat fuzziness and incomparability | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2768488 | 2003-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4795637 | 2003-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405711 | 2003-06-23 | Paper |
| Fuzzy reasoning based on generalized fuzzy If-Then rules | 2003-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547904 | 2003-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789610 | 2003-04-06 | Paper |
| Ultra LI-ideals in lattice implication algebras | 2003-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3148081 | 2003-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789544 | 2003-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782945 | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782905 | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782916 | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782921 | 2002-12-02 | Paper |
| Some operations on lattice implication algebras | 2002-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532820 | 2002-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2775909 | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329499 | 2002-09-25 | Paper |
| Fuzzy reasoning based on the extension principle | 2002-09-17 | Paper |
| \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) | 2002-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547898 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547912 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547915 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544362 | 2002-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2737588 | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532882 | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779006 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537478 | 2002-07-01 | Paper |
| \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) | 2002-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532819 | 2002-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2737581 | 2002-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329496 | 2002-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508033 | 2002-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942559 | 2001-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4522377 | 2001-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2705111 | 2001-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2705190 | 2001-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2705301 | 2001-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2716366 | 2001-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493372 | 2001-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4522378 | 2000-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837047 | 2000-06-13 | Paper |
| Lebesgue decomposition theorem for \(\sigma\)-finite signed fuzzy measures | 2000-04-11 | Paper |
| ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft | 2000-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942561 | 2000-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942564 | 2000-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4935890 | 2000-01-17 | Paper |
| \(L\)-valued propositional logic \(L_{\text{vpl}}\) | 2000-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4245010 | 1999-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4231009 | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237708 | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4253728 | 1999-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234679 | 1999-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392561 | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392565 | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388477 | 1998-10-01 | Paper |
| Syntax of first-order lattice valued logic system FM | 1998-04-21 | Paper |
| Filters and structure of lattice implication algebra | 1998-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4868946 | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867954 | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856251 | 1996-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856249 | 1995-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4308452 | 1995-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4311753 | 1994-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4306528 | 1994-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4275476 | 1994-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4693586 | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025665 | 1993-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3483289 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3818363 | 1986-01-01 | Paper |
