| Publication | Date of Publication | Type |
|---|
| A proof of the standard completeness for the involutive uninorm logic | 2019-11-20 | Paper |
| Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics | 2019-11-20 | Paper |
| The logic of pseudo-uninorms and their residua | 2019-11-13 | Paper |
| Semilinear substructural logics with the finite embeddability property | 2018-10-30 | Paper |
| Bifurcation observation of combining spiral gear transmission based on parameter domain structure analysis | 2018-10-12 | Paper |
| An E-sequence approach to the 3x + 1 problem | 2018-09-06 | Paper |
| A novel analytical solution method for constraint forces of the kinematic pair and its applications | 2018-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2983897 | 2017-05-17 | Paper |
| Simplification of axiom systems of fuzzy logics NM and \(L^*\) | 2016-03-15 | Paper |
| A partially ordered algebra related with BCI-logic | 2016-03-15 | Paper |
| Density Elimination for Semilinear Substructural Logics | 2015-09-11 | Paper |
| Involutive uninorm logic with the \(n\)-potency axiom | 2014-05-14 | Paper |
| Logics for residuated pseudo-uninorms and their residua | 2014-05-14 | Paper |
| The finite model property for semilinear substructural logics | 2013-10-30 | Paper |
| Uninorm logic with the \(n\)-potency axiom | 2012-12-20 | Paper |
| Theory of fuzzy implication lattices | 2012-06-01 | Paper |
| Perturbation of fuzzy sets and fuzzy reasoning based on normalized Minkowski distances | 2012-05-18 | Paper |
| On an axiomatic system for the logic of linearly ordered BCI-matrices | 2012-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3109500 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090209 | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3407415 | 2010-03-04 | Paper |
| Prenex normal form in linguistic quantifiers modeled by Sugeno integrals | 2009-08-28 | Paper |
| HpsUL is not the logic of pseudo-uninorms and their residua | 2009-08-12 | Paper |
| Logics with disjunction and proof by cases | 2008-08-18 | Paper |
| A fuzzy logic for the revised drastic product t-norm. | 2007-05-03 | Paper |
| Addendum to: ``A fuzzy logic for the revised drastic product t-norm | 2007-05-03 | Paper |
| Disjunctive elimination rule and its application in MTL | 2007-02-26 | Paper |
| Solutions to Cintula's open problems | 2006-11-15 | Paper |
| Undefinability of min-conjunction in MTL | 2006-06-09 | Paper |
| NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL | 2005-01-11 | Paper |
| A fuzzy logic for an ordinal sum t-norm | 2005-01-11 | Paper |
| A characterization of truth-functions in the nilpotent minimum logic | 2004-11-12 | Paper |
| A triangular norm-based fuzzy predicate logic | 2003-09-07 | Paper |
| A triangular-norm-based propositional fuzzy logic | 2003-05-27 | Paper |
| Solutions to two problems of G. J. Wang | 2002-08-15 | Paper |
| The completeness of the formal deductive system \(\mathcal{L}^*(n)\) | 2002-06-06 | Paper |
| Simultaneous stabilization, tracking, and disturbance rejection of SISO plants | 1996-03-07 | Paper |
| Simultaneous robust stabilisation of two normalised coprime factor plant balls | 1994-07-03 | Paper |
| On the simultaneous stabilization of three plants | 1994-06-19 | Paper |
| Simultaneous robust stabilization of two plants having unstructured uncertainty | 1994-03-27 | Paper |
