| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5098942 | 2022-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5065004 | 2022-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5062673 | 2022-03-17 | Paper |
| Average fuzzy soft set and its similarity degree | 2021-12-17 | Paper |
| Construction of generalized fuzzy regular filters and generalized fuzzy congruence relations of interval set non-commutative remaining lattice | 2021-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995754 | 2021-07-01 | Paper |
| Related properties of EA-filters with EA-morphism of effect algebras | 2020-10-27 | Paper |
| The restudy of \({\Sigma_\Gamma}\)-fuzzy truth degree being relative to finite theory in logic system \(L_n^*\) | 2020-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3306404 | 2020-08-12 | Paper |
| Open remote neighborhoods of topological systems and their applications | 2020-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5209603 | 2020-01-22 | Paper |
| The residuated commutative law and the residuated meet semi-lattice and its relative properties | 2019-10-02 | Paper |
| The co-annihilators and the conclusions of theories of propositional logic system MTL with their correlation | 2019-09-20 | Paper |
| Cancellation law of divisible residuated lattices | 2019-06-21 | Paper |
| The properties of quantale system and its subsystem | 2019-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4624117 | 2019-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4623980 | 2019-02-22 | Paper |
| The properties of closed theories with its application in the formal deductive system \({\mathscr{L}^*}\) | 2018-10-22 | Paper |
| Strong congruence relations and deductive systems in BL propositional logic system | 2018-10-22 | Paper |
| Embedding of quantale system | 2018-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3175433 | 2018-07-18 | Paper |
| Several deductive systems and their quotient algebras in weak MTL algebras | 2017-10-20 | Paper |
| Properties of \(\mathrm{PBR}_0\)-algebras and their filters | 2017-01-06 | Paper |
| Structure of non-commutative residual lattice \(\langle\in, \in \cup \;Q\rangle\)-filters on interval sets | 2017-01-06 | Paper |
| The construction of the co-product in the category of co-frames | 2016-10-06 | Paper |
| \(\langle\overline{\in}, \overline{\in} \;\bigsqcup \;\overline{Q} \rangle\)-fuzzy filters and their characterization in non-commutative residual lattices on interval sets | 2016-10-06 | Paper |
| Metric structure in the modal logic system S4 | 2016-10-06 | Paper |
| Distance function of DFI-algebras and its properties | 2016-08-10 | Paper |
| A schematic extension of the IMTL logic system | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2990518 | 2016-08-10 | Paper |
| The local finiteness of an MTL-algebra and its quotient algebra determined by MP filters | 2016-08-10 | Paper |
| \(\langle\in, \in\cup Q\rangle\)-fuzzy filter characterization of non-commutative residual lattices on interval sets | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2994235 | 2016-08-10 | Paper |
| An improved form of the basic system \(B\mathcal L\) | 2016-03-17 | Paper |
| Continuous mapping and quotient mapping among reasoning closure spaces | 2016-03-17 | Paper |
| Distributive fuzzy implication algebra. | 2016-03-15 | Paper |
| An extension of the basic system -- the Łukasiewicz system | 2016-03-15 | Paper |
| Simplified forms of definition of MV-algebra. | 2016-03-15 | Paper |
| Partitions of \(F(S)\) and an upgrade algorithm in the system \(H_\alpha\) | 2016-03-15 | Paper |
| Residuated lattice in \(N\)-semisimple algebras. | 2016-03-15 | Paper |
| Wajsberg's form of MTL algebras with applications | 2015-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3194364 | 2015-10-28 | Paper |
| Common properties of a logical structure in four logical algebras | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257739 | 2015-06-29 | Paper |
| Co-annihilator operator of BL-algebras and its image of BL-homomorphism | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5497694 | 2015-02-11 | Paper |
| The characteristics of logic functions determined by the \(R_0\)-implication operator | 2015-02-11 | Paper |
| A weakened form of BL-algebras | 2014-11-03 | Paper |
| A schematic extension of IMTL-logic algebras | 2014-11-03 | Paper |
| A theory of subalgebras in the multi-valued logic system RDP | 2014-06-30 | Paper |
| The properties of \(\mathrm{DBR}_0\)-algebras and the weakened form, \(\mathrm{LBR}_0\)-algebras | 2014-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5167555 | 2014-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4980224 | 2014-06-30 | Paper |
| \(2^n\)-Boolean-valued logic: a natural expansion of the semantics of 2-valued logic | 2014-06-30 | Paper |
| The injective-subjective function, the subjective-injective function between topological systems | 2014-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5400019 | 2014-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5400302 | 2014-02-28 | Paper |
| The two kinds of weak forms of \(\text{WBR}_0\)-algebras and their properties | 2013-06-20 | Paper |
| A metric structure and its properties based on a metric residuated lattice | 2013-06-20 | Paper |
| Heyting system and its \(\mathbf H\)-localification | 2013-06-20 | Paper |
| Fuzzy ideal bases of regular residuated lattices | 2013-06-20 | Paper |
| Ideal sets algebra of a \(p\)-bounded distributive lattice based on the theory of residual lattices | 2013-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925614 | 2013-06-12 | Paper |
| The regularity of \(\mathit{WBR}_0\)-algebras and the relationship with other logic algebras | 2013-01-24 | Paper |
| \(BR_0\)-distributivity and its generalization | 2013-01-24 | Paper |
| Representation by residuated lattices of non-commutative \(BR_0\)-algebras | 2012-10-05 | Paper |
| Fuzzy ideals and fuzzy implicative ideals of regular residuated lattices | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3099008 | 2011-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090145 | 2011-08-28 | Paper |
| Fuzzy subalgebras and fuzzy incident MP filters of \(R_0\)-algebra | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3017752 | 2011-07-19 | Paper |
| Fuzzy implicative filters of non-commutative residuated lattices and their properties | 2011-07-19 | Paper |
| The representation theorem of the lattice \(BR_0\)-algebraic structure | 2011-07-19 | Paper |
| The category of neighborhood system operator and its relative properties | 2011-07-19 | Paper |
| The lattice of neighborhood system operators and its properties | 2011-02-05 | Paper |
| The \(\Delta\)-root of a theory and the generalized \(\Delta\)-modus ponens problem in \(\text{BL}^*_\Delta\) | 2011-02-05 | Paper |
| Theory of \(\alpha\)-truth degres in the \(n\)-valued product propositional logic system | 2011-02-05 | Paper |
| The topological space of the prime ideals of a \(BR_0\)-algebra | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3164691 | 2010-11-05 | Paper |
| The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) | 2010-08-26 | Paper |
| The topological properties of prime ideals in \(R_0\)-algebras | 2010-07-08 | Paper |
| Generalized semantic MP rule in the \(H_\alpha\) logic system | 2010-07-08 | Paper |
| Relationship between BR\(_0\) algebras and FI algebras | 2010-02-12 | Paper |
| The non-ordered form of \(BR_0\)-algebras and properties of \(WBR_0\)-algebras | 2010-02-12 | Paper |
| The reasoning closure operator with its induced space | 2010-02-12 | Paper |
| Improved forms of definition of \(BR_0\)-algebras | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3644654 | 2009-11-11 | Paper |
| \(NBL^*\) system | 2009-11-11 | Paper |
| The simplification of \(BR_0\)-algebra and relationship between it and \(FI\)-algebra | 2009-08-03 | Paper |
| Correlative subsets and equivalent characterization of disconnected spaces | 2009-07-22 | Paper |
| A logical metric structure on \([0,1]\). | 2009-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5319537 | 2009-07-22 | Paper |
| The * filter in Luk-Lindenbaum algebra | 2009-07-22 | Paper |
| The \(\Sigma_{\varGamma}\)-fuzzy truth degrees of formulas relative to a finite theory in the propositional logic system Ł\(_n\) | 2009-07-22 | Paper |
| The theory of \(\Sigma\)-fuzzy truth degrees relative to a finite theory in the logic system \(L\) | 2009-07-22 | Paper |
| Prelinear residuated lattices and logic algebras | 2009-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3609271 | 2009-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3610211 | 2009-03-06 | Paper |
| On the weak completeness of \(BR_0\)-algebras | 2008-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3513253 | 2008-08-06 | Paper |
| \(BR_0\)-algebras and BCK-algebras | 2008-06-03 | Paper |
| A new graded method for the propositional logic \(L_n\) | 2008-06-03 | Paper |
| The character and application of axiom \(\mathrm{L}^\ast 10\) in the system \(\mathcal L^\ast\) | 2007-11-08 | Paper |
| The properties of a mix operator on \(R_0\)-algebra and the completeness of the system \({\mathcal L}^*\) | 2007-09-25 | Paper |
| The method of describing topology by derived operator | 2007-06-11 | Paper |
| Theory of generalized tautology in revised Kleene system | 2007-02-20 | Paper |
| Total complication triple I method based on complete \(BR_0\)-algebra | 2006-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698283 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698332 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5466111 | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4468920 | 2004-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458536 | 2004-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4455174 | 2004-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789549 | 2003-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4543325 | 2002-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549916 | 2002-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537679 | 2002-07-01 | Paper |
| Calculus similar degree and pseudometric in calculus semantics | 2002-06-23 | Paper |
| Theory of generalized tautology in Gaines-Rescher's logic system | 2002-02-12 | Paper |
| Fuzzy deduction theorem in the system \(\mathcal L^*\) | 2002-01-17 | Paper |
| Partitions of \(F(S)\) and properties of upgrade algorithms in the logic systems \(\overline W,W,W_k\) | 2001-12-02 | Paper |
