Guojun Wang

From MaRDI portal
(Redirected from Person:163213)


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 7492113 (Why is no real title available?)
 
2022-03-17Paper
scientific article; zbMATH DE number 7492180 (Why is no real title available?)
 
2022-03-17Paper
Correction and improvement on several results in quantitative logic
Information Sciences
2017-02-02Paper
Roughness and fuzziness in quantales.
Information Sciences
2016-07-08Paper
Axiomatic characterizations of \(L\)-fuzzy rough sets using fuzzy Galois connections
Fuzzy Systems and Mathematics
2016-03-17Paper
MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic.
Fuzzy Systems and Mathematics
2016-03-15Paper
A survey of the triple I method
Fuzzy Systems and Mathematics
2016-03-15Paper
Fuzzy implication algebras and MV-algebras
Fuzzy Systems and Mathematics
2016-03-15Paper
Co-residuated lattices and their applications.
Fuzzy Systems and Mathematics
2016-03-15Paper
Fuzzy congruence relations on \(R_0\)-algebras.
Fuzzy Systems and Mathematics
2016-03-15Paper
A new method for fuzzy reasoning
Fuzzy Systems and Mathematics
2016-03-15Paper
Pseudo-\(R_0\) algebras.
Fuzzy Systems and Mathematics
2016-03-15Paper
Gödel implication operator is not suitable for establishing fuzzy propositional logic
Fuzzy Systems and Mathematics
2016-03-15Paper
Conditional truth degree of formulas in classical propositional logic
Fuzzy Systems and Mathematics
2016-03-15Paper
From the logic of facts to the logic of tasks
Fuzzy Systems and Mathematics
2016-03-15Paper
Fuzzy MP filters of \(R_0\)-algebras
Fuzzy Systems and Mathematics
2016-03-15Paper
Theory of truth degree based on the interval interpretation of first-order fuzzy predicate logic formulas and its application
Fuzzy Systems and Mathematics
2016-03-15Paper
Validation sets of the \(L^*\) system
Fuzzy Systems and Mathematics
2016-03-15Paper
Some remarks on the triple I FMT problem
Fuzzy Systems and Mathematics
2016-03-15Paper
Several classes of implications based on binary aggregation operators on \(L^*\)
Fuzzy Systems and Mathematics
2016-03-15Paper
Probability logic pseudo-metric space and its properties
Fuzzy Systems and Mathematics
2016-03-15Paper
Three models of \(\Gamma\) approximate reasoning and their equivalence in classical propositional logic
Fuzzy Systems and Mathematics
2016-03-15Paper
Topological characterization of a logic theory in many-valued propositional logic
Fuzzy Systems and Mathematics
2016-03-15Paper
Invariant properties of truth degree in Boolean semantics
Fuzzy Systems and Mathematics
2016-03-15Paper
Bag mappings and their structures
Fuzzy Systems and Mathematics
2016-03-15Paper
Remarks on fuzzy lattices and intuitionistic fuzzy sets
Fuzzy Systems and Mathematics
2016-03-15Paper
Some sufficient conditions for a family of OWA bag mappings to have an identity
Fuzzy Systems and Mathematics
2016-03-15Paper
On robustness of the full implication triple I inference method with respect to finer measurements
International Journal of Approximate Reasoning
2015-07-10Paper
Weakly algebraic ideal topology of effect algebras
Acta Mathematica Sinica, English Series
2015-07-08Paper
Characterizations of maximal filters in Boolean algebras and the Cantor ternary set
 
2015-06-29Paper
Aggregation and decomposition of bipolar information
 
2015-06-29Paper
Satisfaction degree for a class of temporal logic formulae based on transition systems
Journal of Shaanxi Normal University. Natural Science Edition
2014-11-03Paper
Topological properties of maximal filters in BL-algebras
 
2014-06-30Paper
Normal form of Łukasiewicz logic formulae and related counting problems
Journal of Software
2014-02-28Paper
Uniformities and uniform topologies in classical propositional logic
 
2014-02-28Paper
A quantitative method for multi-valued modal logics
Journal of Software
2013-11-19Paper
Maximal contractions in Boolean algebras
Science China Information Sciences
2013-08-20Paper
Borel probabilistic and quantitative logic
Science China Information Sciences
2013-07-03Paper
A quantitative approach for linear temporal logic based on finite transition systems
 
2013-06-20Paper
Approximate and strong entailments in classical propositional logic systems
 
2013-06-20Paper
scientific article; zbMATH DE number 6174644 (Why is no real title available?)
 
2013-06-12Paper
Linear logic formulae in the theory of quantitative logic
 
2013-01-24Paper
Quantitative logic: a quantitative approach to many-valued logics
Quantitative Logic and Soft Computing 2010
2012-12-14Paper
A quantitative analysis of rough logic
Quantitative Logic and Soft Computing 2010
2012-12-14Paper
Left(Right)-Continuity of t-Norms on the Metric Lattice
Quantitative Logic and Soft Computing 2010
2012-12-14Paper
Modal \(R_0\)-algebra-valued modal logic system \(\mathrm M\mathcal{L}^\ast\)
Quantitative Logic and Soft Computing 2010
2012-12-14Paper
The interval-valued truth degree theory of the modal formulas
Quantitative Logic and Soft Computing 2010
2012-12-14Paper
Reflexive transformation in \(L^\ast\)-logic metric space
Quantitative Logic and Soft Computing 2010
2012-12-14Paper
Conditional truth degree of a logic theory in two-valued propositional logic system and its application
Quantitative Logic and Soft Computing 2010
2012-12-14Paper
Idempotent elements in \(R_0\) algebras and their applications
Journal of Shaanxi Normal University. Natural Science Edition
2012-06-01Paper
Rough truth degrees of formulas and approximate reasoning in rough logic
Fundamenta Informaticae
2012-05-04Paper
The probability theories for IVFSs and IVIFSs
Computers & Mathematics with Applications
2012-04-22Paper
Introduction to mathematical logic and resolution principle
 
2012-01-30Paper
Formalized theory of \(\alpha\)-triple I solutions for problems of generalized modus ponens
 
2012-01-27Paper
Rough truth degrees of formulas and approximate reasoning in rough logic
Fundamenta Informaticae
2011-11-22Paper
A covering model of granular computing
Journal of Software
2011-09-29Paper
A restricted algorithm in the logic system \(H_t\)
 
2011-09-29Paper
scientific article; zbMATH DE number 5943749 (Why is no real title available?)
 
2011-08-28Paper
General expressions of triple I restriction methods for fuzzy reasoning
 
2011-08-28Paper
Randomization of classical inference patterns and its application. II
 
2011-08-28Paper
The theory of generalized contradiction in a revised product logical system
 
2011-08-28Paper
Lattice-valued modal propositional logic and its completeness
Science China Information Sciences
2011-06-17Paper
Theory of truth degrees in Łukasiewicz three-valued propositional logic
 
2010-11-05Paper
An eighteen-classification partition of the propositional formula set \(F(S)\) based on a revised Gödel operator
 
2010-11-05Paper
Quantitative research of generalized tautologies in \(n\)-valued propositional logic \(L^*_n\)
 
2010-07-08Paper
Some properties of morphisms in effect algebras
 
2010-07-08Paper
Topological characterization of properties of logic theories in the three-valued propositional logic system \({\L}_3^*\)
 
2010-07-08Paper
Exact generalized tautologies in the fuzzy modal logic system MŁuk
 
2010-07-08Paper
Some properties of modal \(R_0\)-algebras and modal filters
 
2010-07-08Paper
Truth degree of a logic theory in propositional logic system and its application
 
2010-07-08Paper
Reflexive transforms on a classical logic metric space
 
2010-07-08Paper
An axiomatic approach of fuzzy rough sets based on residuated lattices
Computers & Mathematics with Applications
2010-06-28Paper
Left-continuity of \(t\)-norms on the \(n\)-dimensional Euclidean cube
Applied Mathematics Letters
2010-04-14Paper
Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
Science in China. Series F
2010-02-26Paper
Three types of fuzzy modal logics over K
 
2010-02-12Paper
scientific article; zbMATH DE number 5670715 (Why is no real title available?)
 
2010-02-12Paper
Boolean theory in the propositional logic system \(\mathcal{L}^*\)
 
2009-11-11Paper
scientific article; zbMATH DE number 5630755 (Why is no real title available?)
 
2009-11-11Paper
Distributions of truth degrees, divergence degrees and consistency degrees in the logic system \({\L}_n\)
 
2009-11-11Paper
Improvement of a tableau-based algorithm and the finite-step halting theorem
 
2009-11-11Paper
Normal form theorems for the modal logic system S5 and their application to knowledge-base theory
 
2009-11-11Paper
Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
Fuzzy Sets and Systems
2009-08-28Paper
Continuity of triple I methods based on several implications
Computers & Mathematics with Applications
2009-07-18Paper
Consistency degrees of theories and graded reasoning in \(n\)-valued Lukasiewicz prepositional logic
 
2009-04-28Paper
Quantitative logic
Information Sciences
2009-03-24Paper
\(D\)-logic metric space and approximate reasoning
 
2009-03-06Paper
The theory of \(\alpha\)-truth degrees in \(n\)-valued Gödel propositional logic
 
2009-03-06Paper
scientific article; zbMATH DE number 5524525 (Why is no real title available?)
 
2009-03-06Paper
Parameter optimization-based batching TLS protocol
 
2009-03-06Paper
Optimal solutions based on sustentation degree for problems of generalized Modus Ponens
 
2009-03-06Paper
Triple I method based on pointwise sustaining degrees
Computers & Mathematics with Applications
2008-09-11Paper
Topology on the set of maximal consistent propositional theories and the Cantor ternary set
 
2008-06-03Paper
scientific article; zbMATH DE number 5284449 (Why is no real title available?)
 
2008-06-03Paper
The properties of the triple I method based on the regular implication operator
 
2008-06-03Paper
Generalized semantic MP rules and generalized semantic HS rules of the system \(H_a\)
 
2008-06-03Paper
The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens
Computers & Mathematics with Applications
2008-05-05Paper
Approximate reasoning in several logic systems
 
2008-04-04Paper
Topological description of divergency and consistency of two-valued propositional theories
 
2008-04-04Paper
Fully implicational multiple I algorithm and its application to multi-criteria decision making
 
2008-04-04Paper
The generalized contradictions theory in subalgebras of revised Kleene system
 
2008-04-04Paper
Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras
Soft Computing
2008-03-12Paper
A note on the unified forms of triple I method
Computers & Mathematics with Applications
2008-02-11Paper
The theory of relative \(\Gamma\)-tautology degree of formulas in four propositional logics
 
2008-01-14Paper
Randomization of classical inference patterns and its application
Science in China. Series F
2008-01-07Paper
Quantitative logic. I.
 
2007-11-08Paper
Representability of default logic in artificial intelligence
 
2007-11-08Paper
Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
Fuzzy Sets and Systems
2007-10-29Paper
Ideals and an embedding theorem for co-residuated lattices
 
2007-10-23Paper
Properties of \(s\)-algebra
 
2007-08-22Paper
The structure of proper BCI-algebras with order \(n\leq 5\) and condition (S)
 
2007-07-31Paper
Linear structure on translation spaces
 
2007-07-16Paper
Riemann type integrals on compact Hausdorff measure spaces
 
2007-07-16Paper
Residuated lattices and lattice effect algebras
Fuzzy Sets and Systems
2007-05-04Paper
Theory of \(\alpha\)-truth degrees in \(n\)-valued Gödel propositional logic
 
2007-04-05Paper
The structure of basic \(R_0\)-algebras
 
2007-03-27Paper
An intrinsic fuzzy set on the universe of discourse of predicate formulas
Fuzzy Sets and Systems
2007-02-26Paper
A note on implicators based on binary aggregation operators in interval-valued fuzzy set theory
Fuzzy Sets and Systems
2007-02-26Paper
Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem
Science in China. Series F
2007-02-20Paper
The completeness and applications of the formal system \(\mathcal L^\ast\)
Science in China. Series F
2007-02-20Paper
A universal theory of measure and integral on valuation spaces with respect to diverse implication operators
Science in China. Series E
2007-02-20Paper
A semantically complete extension sequence of the system \(\mathcal L^\ast\)
Science in China. Series F
2007-02-20Paper
A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\)
Science in China. Series F
2007-02-20Paper
Unified forms of fully implicational restriction methods for fuzzy reasoning
Information Sciences
2007-02-16Paper
A topological characterization of consistency of logic theories in propositional logic
MLQ
2007-02-07Paper
Metric structures on Boolean algebras and an application to propositional logic
 
2007-01-10Paper
Subalgebras of \(R_0\)-algebra \([0,1\) and generalized tautology]
 
2007-01-10Paper
Multi-criteria decision-making methods based on intuitionistic fuzzy sets
European Journal of Operational Research
2007-01-09Paper
A new partition of formula set \(F(S)\) based on \(R_0\)-operator
 
2006-12-18Paper
Distributions of the integrated truth degrees, divergent degrees and consistency degrees in Łukasiewicz logic
 
2006-12-11Paper
IL-type triple-I algorithms and their reversibility
 
2006-12-11Paper
Valuationally decided formula question in Łukasiewicz propositional logic systems
 
2006-12-11Paper
Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
International Journal of Approximate Reasoning
2006-12-07Paper
Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
Fuzzy Sets and Systems
2006-11-15Paper
Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\)
Science in China. Series F
2006-10-11Paper
Total complication triple I method based on complete \(BR_0\)-algebra
 
2006-10-04Paper
scientific article; zbMATH DE number 5059298 (Why is no real title available?)
 
2006-10-04Paper
Typical valuation medium and a simplified system of axioms of \({\mathcal L}^*\)
Chinese Science Bulletin
2006-10-04Paper
Theory of truth degrees of propositions in two-valued logic
Science in China. Series A
2006-09-22Paper
Constructive triple I algorithm of FMP
 
2006-08-17Paper
scientific article; zbMATH DE number 5047355 (Why is no real title available?)
 
2006-08-17Paper
scientific article; zbMATH DE number 5024646 (Why is no real title available?)
 
2006-05-19Paper
scientific article; zbMATH DE number 5011005 (Why is no real title available?)
 
2006-03-09Paper
A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)
Soft Computing
2006-03-02Paper
RL-type implication and triple-I algorithm in fuzzy reasoning
 
2006-02-21Paper
Unified forms of the triple I method
 
2006-02-21Paper
A kind of partition on \(F(S)\) in the Łukasiewicz logic system
 
2006-02-21Paper
scientific article; zbMATH DE number 5007976 (Why is no real title available?)
 
2006-02-21Paper
A new theory consistency index based on deduction theorems in several logic systems
Fuzzy Sets and Systems
2006-01-24Paper
scientific article; zbMATH DE number 2219536 (Why is no real title available?)
 
2005-10-27Paper
scientific article; zbMATH DE number 2219786 (Why is no real title available?)
 
2005-10-27Paper
scientific article; zbMATH DE number 2219633 (Why is no real title available?)
 
2005-10-27Paper
scientific article; zbMATH DE number 2197975 (Why is no real title available?)
 
2005-08-23Paper
Consistency degrees of theories in some systems of propositional fuzzy logic
Fuzzy Sets and Systems
2005-08-05Paper
Conic functions on metric spaces and their application
Applied Mathematics Letters
2005-08-01Paper
COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
New Mathematics and Natural Computation
2005-06-21Paper
scientific article; zbMATH DE number 2147596 (Why is no real title available?)
 
2005-03-21Paper
Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
Fuzzy Sets and Systems
2005-01-11Paper
Endographic approach on supremum and infimum of fuzzy numbers.
Information Sciences
2004-05-27Paper
Compactness theorems of fuzzy semantics
Chinese Science Bulletin
2004-05-18Paper
scientific article; zbMATH DE number 2060790 (Why is no real title available?)
 
2004-03-18Paper
scientific article; zbMATH DE number 2058446 (Why is no real title available?)
 
2004-03-16Paper
The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
Information Sciences
2004-03-15Paper
scientific article; zbMATH DE number 1910376 (Why is no real title available?)
 
2004-01-12Paper
scientific article; zbMATH DE number 2021399 (Why is no real title available?)
 
2004-01-07Paper
A triangular norm-based fuzzy predicate logic
Fuzzy Sets and Systems
2003-09-07Paper
A triangular-norm-based propositional fuzzy logic
Fuzzy Sets and Systems
2003-05-27Paper
scientific article; zbMATH DE number 1881015 (Why is no real title available?)
 
2003-05-12Paper
scientific article; zbMATH DE number 1854034 (Why is no real title available?)
 
2003-01-15Paper
scientific article; zbMATH DE number 1854033 (Why is no real title available?)
 
2003-01-15Paper
scientific article; zbMATH DE number 1829626 (Why is no real title available?)
 
2002-11-14Paper
scientific article; zbMATH DE number 1829348 (Why is no real title available?)
 
2002-11-14Paper
scientific article; zbMATH DE number 1829242 (Why is no real title available?)
 
2002-11-14Paper
scientific article; zbMATH DE number 1829590 (Why is no real title available?)
 
2002-11-14Paper
scientific article; zbMATH DE number 1829711 (Why is no real title available?)
 
2002-11-14Paper
scientific article; zbMATH DE number 1775533 (Why is no real title available?)
 
2002-08-04Paper
Non-fuzzy versions of fuzzy reasoning in classical logics
Information Sciences
2002-06-23Paper
Generalized rule of modus ponens
Journal of Shaanxi Normal University. Natural Science Edition
2002-06-23Paper
Refinement of the FOOL method for interval valued fuzzy reasoning
Journal of Shaanxi Normal University. Natural Science Edition
2002-03-13Paper
scientific article; zbMATH DE number 1014400 (Why is no real title available?)
 
2002-03-12Paper
A necessary and sufficient condition for ternary majority functions being monotonic functions.
Chinese Science Bulletin
2002-02-18Paper
Implicational lattices and generalization of Stone's representation theorem
Chinese Science Bulletin
2002-02-18Paper
The order of aggregation and inference
Journal of Shaanxi Normal University. Natural Science Edition
2001-07-30Paper
Triple I method and interval valued fuzzy reasoning
Science in China. Series E
2001-07-08Paper
Some basic problems on fuzzy reasoning
Journal of Engineering Mathematics (Xi'an)
2001-06-27Paper
scientific article; zbMATH DE number 1547725 (Why is no real title available?)
 
2001-06-10Paper
Separable Boolean functions and generalized Fibonacci sequences
Computers & Mathematics with Applications
2001-01-29Paper
Fuzzy continuous input-output controllers are universal approximators
Fuzzy Sets and Systems
2001-01-02Paper
Theory of granular lattices and its applications
Computers & Mathematics with Applications
2000-12-26Paper
scientific article; zbMATH DE number 1501193 (Why is no real title available?)
 
2000-11-07Paper
On some gross misunderstandings about the theory of topological molecular lattices
Fuzzy Sets and Systems
2000-08-03Paper
scientific article; zbMATH DE number 1450210 (Why is no real title available?)
 
2000-05-22Paper
On the logic foundation of fuzzy reasoning
Information Sciences
2000-01-30Paper
Intuitionistic fuzzy sets and \(L\)-fuzzy sets
Fuzzy Sets and Systems
2000-01-01Paper
scientific article; zbMATH DE number 1262661 (Why is no real title available?)
 
1999-10-07Paper
scientific article; zbMATH DE number 1348985 (Why is no real title available?)
 
1999-10-07Paper
scientific article; zbMATH DE number 1349126 (Why is no real title available?)
 
1999-10-07Paper
On the structure of value functional bag mappings
Fuzzy Sets and Systems
1999-06-17Paper
A formal deductive system for fuzzy propositional calculus
Chinese Science Bulletin
1998-05-29Paper
scientific article; zbMATH DE number 1116661 (Why is no real title available?)
 
1998-03-24Paper
Quasi-formal deductive system for fuzzy propositional calculus
Chinese Science Bulletin
1997-11-25Paper
Antichains and their application for enumerating ternary logic functions
Chinese Science Bulletin
1997-09-30Paper
Relations among the category of topological molecular lattices and certain related categories
Chinese Science Bulletin
1997-09-28Paper
Minimal Hausdorff \(L\)-fuzzy topological spaces
Fuzzy Sets and Systems
1995-08-21Paper
scientific article; zbMATH DE number 647726 (Why is no real title available?)
 
1994-10-04Paper
scientific article; zbMATH DE number 238274 (Why is no real title available?)
 
1994-03-17Paper
Intrinsic topology and refinement of Hutton unit interval
Science in China. Series A
1993-05-16Paper
Theory of topological molecular lattices
Fuzzy Sets and Systems
1993-01-16Paper
Pointwise topology on completely distributive lattices
Fuzzy Sets and Systems
1989-01-01Paper
scientific article; zbMATH DE number 3997866 (Why is no real title available?)
 
1987-01-01Paper
scientific article; zbMATH DE number 4027534 (Why is no real title available?)
 
1987-01-01Paper
scientific article; zbMATH DE number 4097443 (Why is no real title available?)
 
1987-01-01Paper
scientific article; zbMATH DE number 4043905 (Why is no real title available?)
 
1986-01-01Paper
scientific article; zbMATH DE number 3959496 (Why is no real title available?)
 
1985-01-01Paper
scientific article; zbMATH DE number 3966150 (Why is no real title available?)
 
1985-01-01Paper
scientific article; zbMATH DE number 3933982 (Why is no real title available?)
 
1985-01-01Paper
Order-homomorphisms on fuzzes
Fuzzy Sets and Systems
1984-01-01Paper
scientific article; zbMATH DE number 3895877 (Why is no real title available?)
 
1984-01-01Paper
scientific article; zbMATH DE number 3918433 (Why is no real title available?)
 
1984-01-01Paper
scientific article; zbMATH DE number 3986149 (Why is no real title available?)
 
1984-01-01Paper
scientific article; zbMATH DE number 3924842 (Why is no real title available?)
 
1984-01-01Paper
scientific article; zbMATH DE number 3944797 (Why is no real title available?)
 
1984-01-01Paper
scientific article; zbMATH DE number 3827947 (Why is no real title available?)
 
1983-01-01Paper
A new fuzzy compactness defined by fuzzy nets
Journal of Mathematical Analysis and Applications
1983-01-01Paper
scientific article; zbMATH DE number 3836925 (Why is no real title available?)
 
1983-01-01Paper
scientific article; zbMATH DE number 3792992 (Why is no real title available?)
 
1981-01-01Paper


Research outcomes over time


This page was built for person: Guojun Wang