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 |
https://portal.mardi4nfdi.de/entity/Q2794202 | 2016-03-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791026 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791154 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791175 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791266 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791337 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791339 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791342 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791395 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791396 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791453 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791506 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791589 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791610 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791633 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791729 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791731 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2791733 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2793266 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2793319 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2793338 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2793361 | 2016-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2793420 | 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/Q5256953 | 2015-06-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q5257125 | 2015-06-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q2924071 | 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 |
Quantitative Method for Multi-Value 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 |
Quantitative Logic: A Quantitative Approach to Many-Valued Logics | 2012-12-14 | Paper |
Modal R 0-Algebra-Valued Modal Logic System M $\mathcal{L}$ * | 2012-12-14 | Paper |
Reflexive Transformation in L *-Logic Metric Space | 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 |
Conditional Truth Degree of a Logic Theory in Two-Valued Propositional Logic System and Its Application | 2012-12-14 | Paper |
The Interval-Valued Truth Degree Theory of the Modal Formulas | 2012-12-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q2887707 | 2012-06-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q2882384 | 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 |
https://portal.mardi4nfdi.de/entity/Q3170370 | 2011-09-29 | Paper |
Covering Model of Granular Computing | 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/Q3090146 | 2011-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3090149 | 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/Q3571290 | 2010-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q3571919 | 2010-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q3572436 | 2010-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q3573943 | 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 |
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 |
https://portal.mardi4nfdi.de/entity/Q3641394 | 2009-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3641395 | 2009-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3641409 | 2009-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3641423 | 2009-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3641424 | 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 |
https://portal.mardi4nfdi.de/entity/Q3622501 | 2009-04-28 | Paper |
Quantitative logic | 2009-03-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3609630 | 2009-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q3609645 | 2009-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q3610910 | 2009-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q3610931 | 2009-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q3610992 | 2009-03-06 | Paper |
Triple I method based on pointwise sustaining degrees | 2008-09-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3501132 | 2008-06-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3501133 | 2008-06-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3501134 | 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/Q5453081 | 2008-04-04 | 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/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 |
The completeness and applications of the formal system \(\mathcal L^\ast\) | 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 |
Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem | 2007-02-20 | Paper |
A universal theory of measure and integral on valuation spaces with respect to diverse implication operators | 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/Q3414596 | 2007-01-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3414622 | 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/Q3411324 | 2006-12-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3411325 | 2006-12-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q3411421 | 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 |
Typical valuation medium and a simplified system of axioms of \({\mathcal L}^*\) | 2006-10-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5489973 | 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/Q3370887 | 2006-02-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3370888 | 2006-02-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3371923 | 2006-02-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3371924 | 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/Q5698282 | 2005-10-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5698410 | 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/Q3154126 | 2002-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4778277 | 2002-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4778314 | 2002-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4778400 | 2002-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4544363 | 2002-08-04 | Paper |
Non-fuzzy versions of fuzzy reasoning in classical logics | 2002-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2774238 | 2002-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2764382 | 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 |
https://portal.mardi4nfdi.de/entity/Q2731994 | 2001-07-30 | Paper |
Triple I method and interval valued fuzzy reasoning | 2001-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q2720873 | 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/Q4232648 | 1999-10-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4265000 | 1999-10-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4265157 | 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/Q3768948 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3824458 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4724680 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3781805 | 1986-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/Q3734466 | 1985-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/Q3699734 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3715845 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3749737 | 1984-01-01 | Paper |
A new fuzzy compactness defined by fuzzy nets | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3041957 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3674727 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3969550 | 1981-01-01 | Paper |