| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5062753 | 2022-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5062823 | 2022-03-17 | Paper |
| Correction and improvement on several results in quantitative logic | 2017-02-02 | Paper |
| Roughness and fuzziness in quantales. | 2016-07-08 | Paper |
| Axiomatic characterizations of \(L\)-fuzzy rough sets using fuzzy Galois connections | 2016-03-17 | Paper |
| Conditional truth degree of formulas in classical propositional logic | 2016-03-15 | Paper |
| From the logic of facts to the logic of tasks | 2016-03-15 | Paper |
| Fuzzy MP filters of \(R_0\)-algebras | 2016-03-15 | Paper |
| Theory of truth degree based on the interval interpretation of first-order fuzzy predicate logic formulas and its application | 2016-03-15 | Paper |
| Validation sets of the \(L^*\) system | 2016-03-15 | Paper |
| Some remarks on the triple I FMT problem | 2016-03-15 | Paper |
| Several classes of implications based on binary aggregation operators on \(L^*\) | 2016-03-15 | Paper |
| Probability logic pseudo-metric space and its properties | 2016-03-15 | Paper |
| Three models of \(\Gamma\) approximate reasoning and their equivalence in classical propositional logic | 2016-03-15 | Paper |
| Topological characterization of a logic theory in many-valued propositional logic | 2016-03-15 | Paper |
| Invariant properties of truth degree in Boolean semantics | 2016-03-15 | Paper |
| Bag mappings and their structures | 2016-03-15 | Paper |
| Remarks on fuzzy lattices and intuitionistic fuzzy sets | 2016-03-15 | Paper |
| Some sufficient conditions for a family of OWA bag mappings to have an identity | 2016-03-15 | Paper |
| MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic. | 2016-03-15 | Paper |
| A survey of the triple I method | 2016-03-15 | Paper |
| Fuzzy implication algebras and MV-algebras | 2016-03-15 | Paper |
| Co-residuated lattices and their applications. | 2016-03-15 | Paper |
| Fuzzy congruence relations on \(R_0\)-algebras. | 2016-03-15 | Paper |
| A new method for fuzzy reasoning | 2016-03-15 | Paper |
| Pseudo-\(R_0\) algebras. | 2016-03-15 | Paper |
| Gödel implication operator is not suitable for establishing fuzzy propositional logic | 2016-03-15 | Paper |
| On robustness of the full implication triple I inference method with respect to finer measurements | 2015-07-10 | Paper |
| Weakly algebraic ideal topology of effect algebras | 2015-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257125 | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5256953 | 2015-06-29 | Paper |
| Satisfaction degree for a class of temporal logic formulae based on transition systems | 2014-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4980988 | 2014-06-30 | Paper |
| Normal Form of Łukasiewicz Logic Formulae and Related Counting Problems | 2014-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5399369 | 2014-02-28 | Paper |
| A quantitative method for multi-valued modal logics | 2013-11-19 | Paper |
| Maximal contractions in Boolean algebras | 2013-08-20 | Paper |
| Borel probabilistic and quantitative logic | 2013-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925995 | 2013-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4926927 | 2013-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925629 | 2013-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4901225 | 2013-01-24 | Paper |
| Modal R 0-Algebra-Valued Modal Logic System M $\mathcal{L}$ * | 2012-12-14 | Paper |
| The Interval-Valued Truth Degree Theory of the Modal Formulas | 2012-12-14 | Paper |
| Reflexive Transformation in L *-Logic Metric Space | 2012-12-14 | Paper |
| Conditional Truth Degree of a Logic Theory in Two-Valued Propositional Logic System and Its Application | 2012-12-14 | Paper |
| Quantitative Logic: A Quantitative Approach to Many-Valued Logics | 2012-12-14 | Paper |
| A Quantitative Analysis of Rough Logic | 2012-12-14 | Paper |
| Left(Right)-Continuity of t-Norms on the Metric Lattice | 2012-12-14 | Paper |
| Idempotent elements in \(R_0\) algebras and their applications | 2012-06-01 | Paper |
| Rough truth degrees of formulas and approximate reasoning in rough logic | 2012-05-04 | Paper |
| The probability theories for IVFSs and IVIFSs | 2012-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3114102 | 2012-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3113913 | 2012-01-27 | Paper |
| Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic | 2011-11-22 | Paper |
| Covering Model of Granular Computing | 2011-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3170370 | 2011-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090116 | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090118 | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090149 | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090146 | 2011-08-28 | Paper |
| Lattice-valued modal propositional logic and its completeness | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3054550 | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3054847 | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3572436 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571290 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571919 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3573951 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3573959 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3573963 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3573943 | 2010-07-08 | Paper |
| An axiomatic approach of fuzzy rough sets based on residuated lattices | 2010-06-28 | Paper |
| Left-continuity of \(t\)-norms on the \(n\)-dimensional Euclidean cube | 2010-04-14 | Paper |
| Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem | 2010-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3403117 | 2010-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3404617 | 2010-02-12 | Paper |
| Normal form theorems for the modal logic system S5 and their application to knowledge-base theory | 2009-11-11 | Paper |
| Boolean theory in the propositional logic system \(\mathcal{L}^*\) | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3641409 | 2009-11-11 | Paper |
| Distributions of truth degrees, divergence degrees and consistency degrees in the logic system \({\L}_n\) | 2009-11-11 | Paper |
| Improvement of a tableau-based algorithm and the finite-step halting theorem | 2009-11-11 | Paper |
| Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) | 2009-08-28 | Paper |
| Continuity of triple I methods based on several implications | 2009-07-18 | Paper |
| Consistency degrees of theories and graded reasoning in \(n\)-valued Lukasiewicz prepositional logic | 2009-04-28 | Paper |
| Quantitative logic | 2009-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3609645 | 2009-03-06 | Paper |
| Parameter optimization-based batching TLS protocol | 2009-03-06 | Paper |
| Optimal solutions based on sustentation degree for problems of generalized Modus Ponens | 2009-03-06 | Paper |
| \(D\)-logic metric space and approximate reasoning | 2009-03-06 | Paper |
| The theory of \(\alpha\)-truth degrees in \(n\)-valued Gödel propositional logic | 2009-03-06 | Paper |
| Triple I method based on pointwise sustaining degrees | 2008-09-11 | Paper |
| The properties of the triple I method based on the regular implication operator | 2008-06-03 | Paper |
| Generalized semantic MP rules and generalized semantic HS rules of the system \(H_a\) | 2008-06-03 | Paper |
| Topology on the set of maximal consistent propositional theories and the Cantor ternary set | 2008-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3501785 | 2008-06-03 | Paper |
| The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens | 2008-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5453099 | 2008-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5455767 | 2008-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5453081 | 2008-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5455902 | 2008-04-04 | Paper |
| Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras | 2008-03-12 | Paper |
| A note on the unified forms of triple I method | 2008-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5436079 | 2008-01-14 | Paper |
| Randomization of classical inference patterns and its application | 2008-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5425098 | 2007-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5425146 | 2007-11-08 | Paper |
| Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space | 2007-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5423349 | 2007-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5754453 | 2007-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295773 | 2007-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5298032 | 2007-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5298061 | 2007-07-16 | Paper |
| Residuated lattices and lattice effect algebras | 2007-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3431092 | 2007-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3428008 | 2007-03-27 | Paper |
| An intrinsic fuzzy set on the universe of discourse of predicate formulas | 2007-02-26 | Paper |
| A note on implicators based on binary aggregation operators in interval-valued fuzzy set theory | 2007-02-26 | Paper |
| Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem | 2007-02-20 | Paper |
| The completeness and applications of the formal system \(\mathcal L^\ast\) | 2007-02-20 | Paper |
| A universal theory of measure and integral on valuation spaces with respect to diverse implication operators | 2007-02-20 | Paper |
| A semantically complete extension sequence of the system \(\mathcal L^\ast\) | 2007-02-20 | Paper |
| A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\) | 2007-02-20 | Paper |
| Unified forms of fully implicational restriction methods for fuzzy reasoning | 2007-02-16 | Paper |
| A topological characterization of consistency of logic theories in propositional logic | 2007-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3414622 | 2007-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3414596 | 2007-01-10 | Paper |
| Multi-criteria decision-making methods based on intuitionistic fuzzy sets | 2007-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413829 | 2006-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3411421 | 2006-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3411325 | 2006-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3411324 | 2006-12-11 | Paper |
| Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) | 2006-12-07 | Paper |
| Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems | 2006-11-15 | Paper |
| Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\) | 2006-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5489973 | 2006-10-04 | Paper |
| Typical valuation medium and a simplified system of axioms of \({\mathcal L}^*\) | 2006-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5490526 | 2006-10-04 | Paper |
| Theory of truth degrees of propositions in two-valued logic | 2006-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5484349 | 2006-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5484351 | 2006-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5469552 | 2006-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3374720 | 2006-03-09 | Paper |
| A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\) | 2006-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3371923 | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3371924 | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3370887 | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3370888 | 2006-02-21 | Paper |
| A new theory consistency index based on deduction theorems in several logic systems | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698410 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698282 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698577 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5466122 | 2005-08-23 | Paper |
| Consistency degrees of theories in some systems of propositional fuzzy logic | 2005-08-05 | Paper |
| Conic functions on metric spaces and their application | 2005-08-01 | Paper |
| COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS | 2005-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4659250 | 2005-03-21 | Paper |
| Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic | 2005-01-11 | Paper |
| Endographic approach on supremum and infimum of fuzzy numbers. | 2004-05-27 | Paper |
| Compactness theorems of fuzzy semantics | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458530 | 2004-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4455042 | 2004-03-16 | Paper |
| The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806272 | 2004-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4441329 | 2004-01-07 | Paper |
| A triangular norm-based fuzzy predicate logic | 2003-09-07 | Paper |
| A triangular-norm-based propositional fuzzy logic | 2003-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4796988 | 2003-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789549 | 2003-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789550 | 2003-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3154014 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778277 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778400 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778314 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3154126 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544363 | 2002-08-04 | Paper |
| Generalized rule of modus ponens | 2002-06-23 | Paper |
| Non-fuzzy versions of fuzzy reasoning in classical logics | 2002-06-23 | Paper |
| Refinement of the FOOL method for interval valued fuzzy reasoning | 2002-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4338149 | 2002-03-12 | Paper |
| Implicational lattices and generalization of Stone's representation theorem | 2002-02-18 | Paper |
| A necessary and sufficient condition for ternary majority functions being monotonic functions. | 2002-02-18 | Paper |
| The order of aggregation and inference | 2001-07-30 | Paper |
| Triple I method and interval valued fuzzy reasoning | 2001-07-08 | Paper |
| Some basic problems on fuzzy reasoning | 2001-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4521826 | 2001-06-10 | Paper |
| Separable Boolean functions and generalized Fibonacci sequences | 2001-01-29 | Paper |
| Fuzzy continuous input-output controllers are universal approximators | 2001-01-02 | Paper |
| Theory of granular lattices and its applications | 2000-12-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500035 | 2000-11-07 | Paper |
| On some gross misunderstandings about the theory of topological molecular lattices | 2000-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955925 | 2000-05-22 | Paper |
| On the logic foundation of fuzzy reasoning | 2000-01-30 | Paper |
| Intuitionistic fuzzy sets and \(L\)-fuzzy sets | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265000 | 1999-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265157 | 1999-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4232648 | 1999-10-07 | Paper |
| On the structure of value functional bag mappings | 1999-06-17 | Paper |
| A formal deductive system for fuzzy propositional calculus | 1998-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376345 | 1998-03-24 | Paper |
| Quasi-formal deductive system for fuzzy propositional calculus | 1997-11-25 | Paper |
| Antichains and their application for enumerating ternary logic functions | 1997-09-30 | Paper |
| Relations among the category of topological molecular lattices and certain related categories | 1997-09-28 | Paper |
| Minimal Hausdorff \(L\)-fuzzy topological spaces | 1995-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4308460 | 1994-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287708 | 1994-03-17 | Paper |
| Intrinsic topology and refinement of Hutton unit interval | 1993-05-16 | Paper |
| Theory of topological molecular lattices | 1993-01-16 | Paper |
| Pointwise topology on completely distributive lattices | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724680 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768948 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824458 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3781805 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3734466 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3706142 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728043 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3715845 | 1984-01-01 | Paper |
| Order-homomorphisms on fuzzes | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3675158 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695311 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3749737 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699734 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041957 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674727 | 1983-01-01 | Paper |
| A new fuzzy compactness defined by fuzzy nets | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969550 | 1981-01-01 | Paper |
