## Wang, Guojun

Compute Distance To:
 Author ID: wang.guojun Published as: Wang, Guojun; Wang, Guo-Jun; Wang, Guo Jun; Wang, Guo-jun; Wang, GuoJun more...less
 Documents Indexed: 237 Publications since 1981, including 1 Book 3 Contributions as Editor Co-Authors: 90 Co-Authors with 175 Joint Publications 2,111 Co-Co-Authors
all top 5

### Co-Authors

 50 single-authored 15 Zhou, Hongjun 12 Liu, Huawen 10 She, Yanhong 9 Luo, Qingjun 8 Wang, Wei 7 Shi, Huixian 6 Hui, Xiaojing 6 Song, Jianshe 5 Duan, Jingyao 5 Li, Jun 5 Wang, Qingping 4 Fu, Li 4 He, Yingyu 4 Ma, Lina 4 Pei, Daowu 4 Zhou, Xiangnan 3 Hu, Mingdi 3 Li, Bijing 3 Li, Shunqin 3 Li, Yongming 3 Ren, Fang 3 Xu, Wenyan 2 Cao, Bingyuan 2 Chen, Shuili 2 Fan, Taihe 2 Gao, Xiangni 2 Guo, Sizong 2 Han, Cheng 2 He, Xiaoli 2 Jia, Weijia 2 Li, Lifeng 2 Liu, Baocui 2 Liu, Lianzhen 2 Qin, Xiaoyan 2 Su, Rensuo 2 Wang, Baoshu 2 Wang, Longchun 2 Wang, Sanmin 2 Wang, Wei 2 Wu, Hongbo 2 Yang, Zhongqiang 2 Yu, Peng 2 Zhang, Chengyi 2 Zhang, Jiancheng 2 Zheng, Mucong 1 Bai, Yongcheng 1 Bao, Feng 1 Bordas, Stéphane Pierre Alain 1 Cheng, Guosheng 1 Chin, Kwai-Sang 1 Coutier-Delgosha, Olivier 1 Cui, Zhiming 1 Dang, Chuangyin 1 Du, Wenfeng 1 Duan, Qiaolin 1 Gao, Feifei 1 Guan, Xiaohong 1 Han, Banghe 1 Hou, Jian 1 Jiang, Xiuyan 1 Lan, Rong 1 Li, Cheng 1 Li, Jansheng 1 Li, Qingguo 1 Liu, Shuo 1 Liu, Yan 1 Ma, Haibin 1 Ma, Jianhua 1 Ma, Qiaoyun 1 Ma, Xiaojue 1 Meng, Guangwu 1 Qi, Fang 1 Ren, Yan 1 Ru, Yongmei 1 Song, Qingyan 1 Song, Yujing 1 Wang, Ru 1 Wang, Xiangyun 1 Wei, Baolei 1 Wu, Yi 1 Wu, Yongdong 1 Xie, Yongjian 1 Xu, Geni 1 Xu, Luoshan 1 Yang, Laurence Tianruo 1 Yu, Hai 1 Yu, Hongli 1 Zhan, Wanrong 1 Zhang, Dongxiao 1 Zhang, Jialu 1 Zhang, Jinfeng 1 Zhang, Wenxiu 1 Zhang, Xingfang 1 Zhao, Dongsheng 1 Zhou, Enlu 1 Zhou, Wei 1 Zou, Shangtian
all top 5

### Serials

 40 Journal of Shaanxi Normal University. Natural Science Edition 30 Fuzzy Systems and Mathematics 20 Fuzzy Sets and Systems 13 Acta Mathematica Sinica 9 Information Sciences 9 Journal of Software 8 Computers & Mathematics with Applications 8 Chinese Science Bulletin 7 Science in China. Series F 6 Journal of Shandong University. Natural Science 5 Journal of Mathematical Research & Exposition 4 Journal of Engineering Mathematics (Xi’an) 4 Kexue Tongbao 4 Acta Mathematica Sinica. Chinese Series 4 Chinese Journal of Engineering Mathematics 3 Computer Methods in Applied Mechanics and Engineering 3 Advances in Mathematics 3 The Journal of Fuzzy Mathematics 3 Basic Sciences Journal of Textile Universities 3 Science China. Information Sciences 2 Journal of Nanjing University. Mathematical Biquarterly 2 International Journal of Approximate Reasoning 2 Journal of Southwest Jiaotong University 2 Applied Mathematics Letters 2 Science in China. Series A 2 Applied Mathematical Modelling 2 Pure and Applied Mathematics 2 Engineering Analysis with Boundary Elements 2 Science in China. Series E 2 Soft Computing 2 Fundamenta Informaticae 2 Advances in Intelligent and Soft Computing 1 Acta Mechanica 1 Journal of Fluid Mechanics 1 Journal of Mathematical Analysis and Applications 1 Commentationes Mathematicae Universitatis Carolinae 1 Indian Journal of Mathematics 1 Journal of Sichuan University. Natural Science Edition 1 Fuzzy Mathematics 1 Questions and Answers in General Topology 1 Northeastern Mathematical Journal 1 Communications in Statistics. Theory and Methods 1 European Journal of Operational Research 1 Mathematical Logic Quarterly (MLQ) 1 Multiple-Valued Logic 1 Acta Mathematica Scientia. Series A. (Chinese Edition) 1 Acta Mathematica Sinica. English Series 1 Journal of Jilin University. Science Edition 1 Iranian Journal of Fuzzy Systems 1 Journal of Baoji University of Arts and Sciences. Natural Science Edition 1 New Mathematics and Natural Computation
all top 5

### Fields

 174 Mathematical logic and foundations (03-XX) 62 Computer science (68-XX) 49 Order, lattices, ordered algebraic structures (06-XX) 46 General topology (54-XX) 6 Mechanics of deformable solids (74-XX) 5 Measure and integration (28-XX) 5 Numerical analysis (65-XX) 5 Information and communication theory, circuits (94-XX) 4 Fluid mechanics (76-XX) 4 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 3 Real functions (26-XX) 3 Probability theory and stochastic processes (60-XX) 3 Statistics (62-XX) 3 Systems theory; control (93-XX) 2 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Quantum theory (81-XX)

### Citations contained in zbMATH Open

107 Publications have been cited 1,006 times in 612 Documents Cited by Year
Theory of topological molecular lattices. Zbl 0783.54032
Wang, Guojun
1992
Multi-criteria decision-making methods based on intuitionistic fuzzy sets. Zbl 1163.90558
Liu, Hua-Wen; Wang, Guo-Jun
2007
On the logic foundation of fuzzy reasoning. Zbl 0939.03031
Wang, Guo-Jun
1999
A new fuzzy compactness defined by fuzzy nets. Zbl 0512.54006
Wang, Guojun
1983
An axiomatic approach of fuzzy rough sets based on residuated lattices. Zbl 1189.03059
She, Yan-Hong; Wang, Guo-Jun
2009
Order-homomorphisms on fuzzes. Zbl 0553.06015
Wang, Guo-Jun
1984
Intuitionistic fuzzy sets and $$L$$-fuzzy sets. Zbl 0944.03051
Wang, Guojun; He, Yingyu
2000
A formal deductive system for fuzzy propositional calculus. Zbl 0889.03017
Wang, Guojun
1997
Unified forms of fully implicational restriction methods for fuzzy reasoning. Zbl 1142.68547
Liu, Hua-Wen; Wang, Guo-Jun
2007
Integrated semantics and logic metric spaces. Zbl 1024.03027
Wang, Guo-Jun; Leung, Yee
2003
Non-fuzzy versions of fuzzy reasoning in classical logics. Zbl 0994.03014
Wang, Guojun; Wang, Hao
2001
Localic Katětov-Tong insertion theorem and localic Tietze extension theorem. Zbl 0938.06008
Li, Yong-ming; Wang, Guo-jun
1997
A triangular-norm-based propositional fuzzy logic. Zbl 1030.03022
Wang, San-Min; Wang, Bao-Shu; Wang, Guo-Jun
2003
Quantitative logic. Zbl 1167.03020
Wang, Guojun; Zhou, Hongjun
2009
Pointwise topology on completely distributive lattices. Zbl 0667.54001
Wang, Guo-Jun
1989
Intrinsic topology and refinement of Hutton unit interval. Zbl 0783.54008
Wang, Guojun; Xu, Luoshan
1992
Topological molecular lattices. I. Zbl 0562.54015
Wang, Guojun
1984
Continuity of triple I methods based on several implications. Zbl 1165.68519
Liu, Hua-Wen; Wang, Guo-Jun
2008
MV-algebras, BL-algebras, $$R_0$$-algebras, and multiple-valued logic. Zbl 1333.06029
Wang, Guojun
2002
The completeness and applications of the formal system $$\mathcal L^\ast$$. Zbl 1182.03053
Pei, Daowu; Wang, Guojun
2002
On the structure of fuzzy lattices. Zbl 0641.06006
Wang, Guojun
1986
On robustness of the full implication triple I inference method with respect to finer measurements. Zbl 1316.68196
Wang, Guojun; Duan, Jingyao
2014
Endographic approach on supremum and infimum of fuzzy numbers. Zbl 1041.03512
Fan, Taihe; Wang, Guojun
2004
Theory of truth degrees of propositions in two-valued logic. Zbl 1105.03316
Wang, Guojun; Fu, Li; Song, Jianshe
2002
An accurate and efficient scheme for acoustic-structure interaction problems based on unstructured mesh. Zbl 1439.74404
Cui, X. Y.; Hu, X.; Wang, G.; Li, G. Y.
2017
Consistency degrees of theories in some systems of propositional fuzzy logic. Zbl 1072.03018
Zhou, Xiang-Nan; Wang, Guo-Jun
2005
Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Zbl 1115.03016
Zhou, Hongjun; Wang, Guojun
2006
Triple I method based on pointwise sustaining degrees. Zbl 1142.03341
Liu, Hua-Wen; Wang, Guo-Jun
2008
Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic. Zbl 1062.03022
Wang, Guo-Jun; Zhang, Wen-Xiu
2005
Roughness and fuzziness in quantales. Zbl 1341.06018
Luo, Qingjun; Wang, Guojun
2014
A new theory consistency index based on deduction theorems in several logic systems. Zbl 1085.03021
Zhou, Hong-Jun; Wang, Guo-Jun
2006
Consistency degrees of theories and methods of graded reasoning in $$n$$-valued $$R_{0}$$-logic (NM-logic). Zbl 1111.03029
Zhou, Hongjun; Wang, Guojun; Zhou, Wei
2006
A note on the unified forms of triple I method. Zbl 1130.03307
Liu, Hua-Wen; Wang, Guo-Jun
2006
A gradient weighted extended finite element method (GW-XFEM) for fracture mechanics. Zbl 1428.74191
Feng, S. Z.; Bordas, S. P. A.; Han, X.; Wang, G.; Li, Z. X.
2019
A nodal integration axisymmetric thin shell model using linear interpolation. Zbl 1452.74075
Cui, X. Y.; Wang, G.; Li, G. Y.
2016
Reflectivity and coreflectivity between the category of topological spaces, the category of topological fuzzes and the category of topological molecular lattices. Zbl 1007.54007
Li, Yongming; Wang, Guojun
1998
Comparison of deduction theorems in diverse logic systems. Zbl 1069.03013
Wang, Guo-Jun
2005
Characterizations of maximal consistent theories in the formal deductive system $$\mathcal L^{*}$$ (NM-logic) and Cantor space. Zbl 1125.03020
Zhou, Hongjun; Wang, Guojun
2007
Triple I method and interval valued fuzzy reasoning. Zbl 0964.03519
Wang, Guojun
2000
The extensions $$\mathcal L_n^{\ast}$$ of the formal system $$\mathcal L^{\ast}$$ and their completeness. Zbl 1040.03022
Pei, Daowu; Wang, Guojun
2003
Fuzzy continuous input-output controllers are universal approximators. Zbl 0951.93047
Wang, Guojun
1998
On S-closed spaces. Zbl 0503.54031
Wang, Guojun
1981
A unified approximate reasoning theory suitable for both propositional calcus system$$\mathcal L^\ast$$ and predicate calculus system $$\mathcal K^\ast$$. Zbl 1182.03057
Wang, Guojun; Chin, K. S.; Dang, C. Y.
2005
Generalizations of C. T. Yang’s theorem and K. Fan’s theorem. Zbl 0583.54001
Wang, Guojun
1985
A novel hybrid deterministic-statistical approach for the mid-frequency vibro-acoustic problems. Zbl 1481.76195
Wang, G.; Zhang, Y. X.; Guo, Z. B.; Zhou, Z. G.
2020
Antichains and their application for enumerating ternary logic functions. Zbl 0873.94044
Wang, Guojun
1997
Homogeneous properties of the triangular fuzzy number space. Zbl 0894.54010
Wang, Guojun
1997
Separation axioms in topological molecular lattices. Zbl 0523.06013
Wang, Guojun
1983
A universal theory of measure and integral on valuation spaces with respect to diverse implication operators. Zbl 1182.03056
Wang, Guojun
2000
Residuated lattices and lattice effect algebras. Zbl 1122.81016
Zhou, Xiang-Nan; Li, Qing-Guo; Wang, Guo-Jun
2007
Some characteristic theorems of order-homomorphisms. Zbl 0599.06013
Wang, Guojun
1985
Introduction to mathematical logic and resolution principle. 2nd ed. Zbl 1231.03001
Wang, Guojun; Zhou, Hong-Jun
2010
Theory of truth degrees of propositions in the logic system $$L_{n}^{*}$$. Zbl 1104.03014
Li, Jun; Wang, Guojun
2006
Logical metric spaces. Zbl 1007.03020
Wang, Guojun; Wang, Wei
2001
Quasi-formal deductive system for fuzzy propositional calculus. Zbl 0886.03019
Wang, Guojun
1997
$$S$$-closed symmetric topological molecular lattices. Zbl 0815.54032
Wang, Guo-Jun
1994
Rough truth degrees of formulas and approximate reasoning in rough logic. Zbl 1230.68197
She, Yanhong; He, Xiaoli; Wang, Guojun
2011
Theory of truth degrees of formulas in Łukasiewicz $$n$$-valued propositional logic and a limit theorem. Zbl 1182.03046
Li, Bijing; Wang, Guojun
2005
A note on implicators based on binary aggregation operators in interval-valued fuzzy set theory. Zbl 1114.03042
Liu, Hua-Wen; Wang, Guo-Jun
2006
The $$R_0$$-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens. Zbl 1138.03316
Wang, Guo-Jun; Hui, Xiao-Jing; Song, Jian-She
2008
Randomization of classical inference patterns and its application. Zbl 1127.03017
Wang, Guojun; Hui, Xiaojing
2007
Logic foundations of fuzzy modus ponens and fuzzy modus tollens. Zbl 0980.03025
Wang, Guo-Jun
1997
An edge-based smoothed finite element method for the assessment of human exposure to extremely low frequency electric fields. Zbl 07337136
Guo, Z. B.; Wang, G.
2020
A new kind of connectivity in fuzzy topological spaces. Zbl 0588.54009
Zhao, Dongsheng; Wang, Guojun
1984
Three and two-valued Łukasiewicz theories in the formal deductive system $${\mathcal L}^*$$ (NM-logic). Zbl 1176.03008
Zhou, Hongjun; Wang, Guojun
2008
Theory of $$(n)$$ truth degrees of formulas in modal logic and a consistency theorem. Zbl 1191.03014
Wang, Guojun; Duan, Qiaolin
2009
Generalized tautologies of the systems $$H_{\alpha}$$. Zbl 1037.03509
Wang, Guojun; Lan, Rong
2003
Lattice-valued modal propositional logic and its completeness. Zbl 1219.03025
Shi, HuiXian; Wang, GuoJun
2010
Relations among the category of topological molecular lattices and certain related categories. Zbl 0880.54011
Wang, Guojun; Li, Yongming
1997
Gödel implication operator is not suitable for establishing fuzzy propositional logic. Zbl 1333.03066
Wang, Wei; Wang, Guo Jun
2005
A new method for fuzzy reasoning. Zbl 1333.03062
Wang, Guo Jun
1999
Minimal Hausdorff $$L$$-fuzzy topological spaces. Zbl 0831.54007
Wang, Guo-Jun
1994
Borel probabilistic and quantitative logic. Zbl 1267.03036
Zhou, Hongjun; Wang, Guojun
2011
A topological characterization of consistency of logic theories in propositional logic. Zbl 1112.03007
Wang, Guo-Jun; She, Yan-Hong
2006
Quantitative logic. I. Zbl 1124.03007
Wang, Guojun
2006
Quasi-uniformities and topologies. Zbl 0783.54031
Wang, Guojun; Wang, Hao
1993
Order-homomorphisms on completely distributive lattices. Zbl 0616.06012
Wang, Guojun
1987
Theory of $$\phi$$-minimal sets and its applications. Zbl 0671.06005
Wang, Guojun
1987
Left-continuity of $$t$$-norms on the $$n$$-dimensional Euclidean cube. Zbl 1189.26017
Wang, Guojun; Wang, Wei
2010
Quantitative research of generalized tautologies in $$n$$-valued propositional logic $$L^*_n$$. Zbl 1212.03011
Wang, Guojun; Shi, Huixian
2009
Divergency and consistency in the Lukasiewicz system. Zbl 1161.03306
Wang, Guojun; Ren, Yan
2003
Rough truth degrees of formulas and approximate reasoning in rough logic. Zbl 1236.03022
She, Yanhong; He, Xiaoli; Wang, Guojun
2011
Some basic problems on fuzzy reasoning. Zbl 0970.68508
Wang, Guojun
2000
Implication lattices and a fuzzy topological representation theorem for them. Zbl 1011.03048
Wang, Guojun
1999
Theory of generalized tautology in Łukasiewicz logic system. Zbl 1012.03507
Wu, Hongbo; Wang, Guojun
2000
Compact Hausdorff topology on the set of Lukasiewicz semantics. Zbl 1010.03016
Wang, Guojun
2002
The structure of $${\mathcal L}^*$$-Lindenbaum algebras and a simplified system of axioms for $${\mathcal L}^*$$. Zbl 0930.03096
He, Yingyu; Wang, Guojun
1998
Conic functions on metric spaces and their application. Zbl 1077.54018
Wang, Guo-Jun; Wang, Wei; Ren, Fang
2005
Continuity of basic operations on pseudo-metric $${\mathcal L}^*$$-Lindenbaum algebra. Zbl 1076.03525
Wang, Wei; Wang, Guojun
2005
A survey of the triple I method. Zbl 1333.03063
Wang, Guo Jun; Liu, Hua Wen; Song, Jian She
2006
Conditional truth degree of formulas in classical propositional logic. Zbl 1333.03036
Han, Bang He; Wang, Guo Jun
2007
Fuzzy implication algebras and MV-algebras. Zbl 1333.03252
Liu, Lian Zhen; Wang, Guo Jun
1998
On the absolute closedness of S-closed spaces. Zbl 0527.54023
Wang, Guojun
1983
The theory of $$\alpha$$-truth degrees in $$n$$-valued Gödel propositional logic. Zbl 1174.68609
Li, Jun; Wang, Guojun
2007
Theory of quasi-truth degrees of formulas in two-valued predicate logic. Zbl 1091.03011
Wang, Guojun; Qin, Xiaoyan; Zhou, Xiangnan
2005
A 16-classification partition of formula set $$F(S)$$ in revised Kleene system $$\overline W$$. Zbl 1093.03505
Han, Cheng; Wang, Guojun; Xu, Wenyan
2006
Metric structures on Boolean algebras and an application to propositional logic. Zbl 1286.06019
Wang, Guojun; Song, Qingyan; Song, Yujing
2004
An intrinsic fuzzy set on the universe of discourse of predicate formulas. Zbl 1114.03024
Wang, Guo-Jun; Qin, Xiao-Yan; Zhou, Xiang-Nan
2006
Theory of $$\alpha$$-truth degrees in $$n$$-valued Gödel propositional logic. Zbl 1112.68467
Li, Jun; Wang, Guojun
2007
Topology on the set of maximal consistent propositional theories and the Cantor ternary set. Zbl 1150.03301
Wang, Guojun; Wang, Wei; Song, Jianshe
2007
An efficient and accurate numerical method for the heat conduction problems of thermal metamaterials based on edge-based smoothed finite element method. Zbl 07440013
Wang, K. X.; Zhou, E. L.; Wei, B. L.; Wu, Yi; Wang, G.
2022
A hybrid plane wave expansion/edge-based smoothed finite element method for band structures simulation of semi-infinite beam-like phononic crystals. Zbl 07371661
Cheng, J. H.; Wang, G.; Wu, Y. M.
2021
A novel hybrid deterministic-statistical approach for the mid-frequency vibro-acoustic problems. Zbl 1481.76195
Wang, G.; Zhang, Y. X.; Guo, Z. B.; Zhou, Z. G.
2020
An edge-based smoothed finite element method for the assessment of human exposure to extremely low frequency electric fields. Zbl 07337136
Guo, Z. B.; Wang, G.
2020
A gradient weighted extended finite element method (GW-XFEM) for fracture mechanics. Zbl 1428.74191
Feng, S. Z.; Bordas, S. P. A.; Han, X.; Wang, G.; Li, Z. X.
2019
An accurate and efficient scheme for acoustic-structure interaction problems based on unstructured mesh. Zbl 1439.74404
Cui, X. Y.; Hu, X.; Wang, G.; Li, G. Y.
2017
A nodal integration axisymmetric thin shell model using linear interpolation. Zbl 1452.74075
Cui, X. Y.; Wang, G.; Li, G. Y.
2016
On robustness of the full implication triple I inference method with respect to finer measurements. Zbl 1316.68196
Wang, Guojun; Duan, Jingyao
2014
Roughness and fuzziness in quantales. Zbl 1341.06018
Luo, Qingjun; Wang, Guojun
2014
Rough truth degrees of formulas and approximate reasoning in rough logic. Zbl 1230.68197
She, Yanhong; He, Xiaoli; Wang, Guojun
2011
Borel probabilistic and quantitative logic. Zbl 1267.03036
Zhou, Hongjun; Wang, Guojun
2011
Rough truth degrees of formulas and approximate reasoning in rough logic. Zbl 1236.03022
She, Yanhong; He, Xiaoli; Wang, Guojun
2011
Introduction to mathematical logic and resolution principle. 2nd ed. Zbl 1231.03001
Wang, Guojun; Zhou, Hong-Jun
2010
Lattice-valued modal propositional logic and its completeness. Zbl 1219.03025
Shi, HuiXian; Wang, GuoJun
2010
Left-continuity of $$t$$-norms on the $$n$$-dimensional Euclidean cube. Zbl 1189.26017
Wang, Guojun; Wang, Wei
2010
An axiomatic approach of fuzzy rough sets based on residuated lattices. Zbl 1189.03059
She, Yan-Hong; Wang, Guo-Jun
2009
Quantitative logic. Zbl 1167.03020
Wang, Guojun; Zhou, Hongjun
2009
Theory of $$(n)$$ truth degrees of formulas in modal logic and a consistency theorem. Zbl 1191.03014
Wang, Guojun; Duan, Qiaolin
2009
Quantitative research of generalized tautologies in $$n$$-valued propositional logic $$L^*_n$$. Zbl 1212.03011
Wang, Guojun; Shi, Huixian
2009
Continuity of triple I methods based on several implications. Zbl 1165.68519
Liu, Hua-Wen; Wang, Guo-Jun
2008
Triple I method based on pointwise sustaining degrees. Zbl 1142.03341
Liu, Hua-Wen; Wang, Guo-Jun
2008
The $$R_0$$-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens. Zbl 1138.03316
Wang, Guo-Jun; Hui, Xiao-Jing; Song, Jian-She
2008
Three and two-valued Łukasiewicz theories in the formal deductive system $${\mathcal L}^*$$ (NM-logic). Zbl 1176.03008
Zhou, Hongjun; Wang, Guojun
2008
Topology on the set of $$R_{0}$$ semantics for $$R_{0}$$ algebras. Zbl 1138.03048
Zhang, Jialu; Wang, Guojun; Hu, Mingdi
2008
Multi-criteria decision-making methods based on intuitionistic fuzzy sets. Zbl 1163.90558
Liu, Hua-Wen; Wang, Guo-Jun
2007
Unified forms of fully implicational restriction methods for fuzzy reasoning. Zbl 1142.68547
Liu, Hua-Wen; Wang, Guo-Jun
2007
Characterizations of maximal consistent theories in the formal deductive system $$\mathcal L^{*}$$ (NM-logic) and Cantor space. Zbl 1125.03020
Zhou, Hongjun; Wang, Guojun
2007
Residuated lattices and lattice effect algebras. Zbl 1122.81016
Zhou, Xiang-Nan; Li, Qing-Guo; Wang, Guo-Jun
2007
Randomization of classical inference patterns and its application. Zbl 1127.03017
Wang, Guojun; Hui, Xiaojing
2007
Conditional truth degree of formulas in classical propositional logic. Zbl 1333.03036
Han, Bang He; Wang, Guo Jun
2007
The theory of $$\alpha$$-truth degrees in $$n$$-valued Gödel propositional logic. Zbl 1174.68609
Li, Jun; Wang, Guojun
2007
Theory of $$\alpha$$-truth degrees in $$n$$-valued Gödel propositional logic. Zbl 1112.68467
Li, Jun; Wang, Guojun
2007
Topology on the set of maximal consistent propositional theories and the Cantor ternary set. Zbl 1150.03301
Wang, Guojun; Wang, Wei; Song, Jianshe
2007
Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Zbl 1115.03016
Zhou, Hongjun; Wang, Guojun
2006
A new theory consistency index based on deduction theorems in several logic systems. Zbl 1085.03021
Zhou, Hong-Jun; Wang, Guo-Jun
2006
Consistency degrees of theories and methods of graded reasoning in $$n$$-valued $$R_{0}$$-logic (NM-logic). Zbl 1111.03029
Zhou, Hongjun; Wang, Guojun; Zhou, Wei
2006
A note on the unified forms of triple I method. Zbl 1130.03307
Liu, Hua-Wen; Wang, Guo-Jun
2006
Theory of truth degrees of propositions in the logic system $$L_{n}^{*}$$. Zbl 1104.03014
Li, Jun; Wang, Guojun
2006
A note on implicators based on binary aggregation operators in interval-valued fuzzy set theory. Zbl 1114.03042
Liu, Hua-Wen; Wang, Guo-Jun
2006
A topological characterization of consistency of logic theories in propositional logic. Zbl 1112.03007
Wang, Guo-Jun; She, Yan-Hong
2006
Quantitative logic. I. Zbl 1124.03007
Wang, Guojun
2006
A survey of the triple I method. Zbl 1333.03063
Wang, Guo Jun; Liu, Hua Wen; Song, Jian She
2006
A 16-classification partition of formula set $$F(S)$$ in revised Kleene system $$\overline W$$. Zbl 1093.03505
Han, Cheng; Wang, Guojun; Xu, Wenyan
2006
An intrinsic fuzzy set on the universe of discourse of predicate formulas. Zbl 1114.03024
Wang, Guo-Jun; Qin, Xiao-Yan; Zhou, Xiang-Nan
2006
Ideals and an embedding theorem for co-residuated lattices. Zbl 1123.03054
Wang, Guojun; Zheng, Mucong; Liu, Yan
2006
Consistency degrees of theories in some systems of propositional fuzzy logic. Zbl 1072.03018
Zhou, Xiang-Nan; Wang, Guo-Jun
2005
Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic. Zbl 1062.03022
Wang, Guo-Jun; Zhang, Wen-Xiu
2005
Comparison of deduction theorems in diverse logic systems. Zbl 1069.03013
Wang, Guo-Jun
2005
A unified approximate reasoning theory suitable for both propositional calcus system$$\mathcal L^\ast$$ and predicate calculus system $$\mathcal K^\ast$$. Zbl 1182.03057
Wang, Guojun; Chin, K. S.; Dang, C. Y.
2005
Theory of truth degrees of formulas in Łukasiewicz $$n$$-valued propositional logic and a limit theorem. Zbl 1182.03046
Li, Bijing; Wang, Guojun
2005
Gödel implication operator is not suitable for establishing fuzzy propositional logic. Zbl 1333.03066
Wang, Wei; Wang, Guo Jun
2005
Conic functions on metric spaces and their application. Zbl 1077.54018
Wang, Guo-Jun; Wang, Wei; Ren, Fang
2005
Continuity of basic operations on pseudo-metric $${\mathcal L}^*$$-Lindenbaum algebra. Zbl 1076.03525
Wang, Wei; Wang, Guojun
2005
Theory of quasi-truth degrees of formulas in two-valued predicate logic. Zbl 1091.03011
Wang, Guojun; Qin, Xiaoyan; Zhou, Xiangnan
2005
Endographic approach on supremum and infimum of fuzzy numbers. Zbl 1041.03512
Fan, Taihe; Wang, Guojun
2004
Metric structures on Boolean algebras and an application to propositional logic. Zbl 1286.06019
Wang, Guojun; Song, Qingyan; Song, Yujing
2004
Integrated semantics and logic metric spaces. Zbl 1024.03027
Wang, Guo-Jun; Leung, Yee
2003
A triangular-norm-based propositional fuzzy logic. Zbl 1030.03022
Wang, San-Min; Wang, Bao-Shu; Wang, Guo-Jun
2003
The extensions $$\mathcal L_n^{\ast}$$ of the formal system $$\mathcal L^{\ast}$$ and their completeness. Zbl 1040.03022
Pei, Daowu; Wang, Guojun
2003
Generalized tautologies of the systems $$H_{\alpha}$$. Zbl 1037.03509
Wang, Guojun; Lan, Rong
2003
Divergency and consistency in the Lukasiewicz system. Zbl 1161.03306
Wang, Guojun; Ren, Yan
2003
MV-algebras, BL-algebras, $$R_0$$-algebras, and multiple-valued logic. Zbl 1333.06029
Wang, Guojun
2002
The completeness and applications of the formal system $$\mathcal L^\ast$$. Zbl 1182.03053
Pei, Daowu; Wang, Guojun
2002
Theory of truth degrees of propositions in two-valued logic. Zbl 1105.03316
Wang, Guojun; Fu, Li; Song, Jianshe
2002
Compact Hausdorff topology on the set of Lukasiewicz semantics. Zbl 1010.03016
Wang, Guojun
2002
Non-fuzzy versions of fuzzy reasoning in classical logics. Zbl 0994.03014
Wang, Guojun; Wang, Hao
2001
Logical metric spaces. Zbl 1007.03020
Wang, Guojun; Wang, Wei
2001
Intuitionistic fuzzy sets and $$L$$-fuzzy sets. Zbl 0944.03051
Wang, Guojun; He, Yingyu
2000
Triple I method and interval valued fuzzy reasoning. Zbl 0964.03519
Wang, Guojun
2000
A universal theory of measure and integral on valuation spaces with respect to diverse implication operators. Zbl 1182.03056
Wang, Guojun
2000
Some basic problems on fuzzy reasoning. Zbl 0970.68508
Wang, Guojun
2000
Theory of generalized tautology in Łukasiewicz logic system. Zbl 1012.03507
Wu, Hongbo; Wang, Guojun
2000
Theory of granular lattices and its applications. Zbl 0951.54019
Wang, Guo-Jun
2000
Separable Boolean functions and generalized Fibonacci sequences. Zbl 0953.06014
Wang, Guojun
2000
On the logic foundation of fuzzy reasoning. Zbl 0939.03031
Wang, Guo-Jun
1999
A new method for fuzzy reasoning. Zbl 1333.03062
Wang, Guo Jun
1999
Implication lattices and a fuzzy topological representation theorem for them. Zbl 1011.03048
Wang, Guojun
1999
$$\mathbf R_0$$-algebra and its structure. Zbl 0947.03081
Cheng, Guosheng; Wang, Guojun
1999
Reflectivity and coreflectivity between the category of topological spaces, the category of topological fuzzes and the category of topological molecular lattices. Zbl 1007.54007
Li, Yongming; Wang, Guojun
1998
Fuzzy continuous input-output controllers are universal approximators. Zbl 0951.93047
Wang, Guojun
1998
The structure of $${\mathcal L}^*$$-Lindenbaum algebras and a simplified system of axioms for $${\mathcal L}^*$$. Zbl 0930.03096
He, Yingyu; Wang, Guojun
1998
Fuzzy implication algebras and MV-algebras. Zbl 1333.03252
Liu, Lian Zhen; Wang, Guo Jun
1998
A formal deductive system for fuzzy propositional calculus. Zbl 0889.03017
Wang, Guojun
1997
Localic Katětov-Tong insertion theorem and localic Tietze extension theorem. Zbl 0938.06008
Li, Yong-ming; Wang, Guo-jun
1997
Antichains and their application for enumerating ternary logic functions. Zbl 0873.94044
Wang, Guojun
1997
Homogeneous properties of the triangular fuzzy number space. Zbl 0894.54010
Wang, Guojun
1997
Quasi-formal deductive system for fuzzy propositional calculus. Zbl 0886.03019
Wang, Guojun
1997
Logic foundations of fuzzy modus ponens and fuzzy modus tollens. Zbl 0980.03025
Wang, Guo-Jun
1997
Relations among the category of topological molecular lattices and certain related categories. Zbl 0880.54011
Wang, Guojun; Li, Yongming
1997
$$S$$-closed symmetric topological molecular lattices. Zbl 0815.54032
Wang, Guo-Jun
1994
Minimal Hausdorff $$L$$-fuzzy topological spaces. Zbl 0831.54007
Wang, Guo-Jun
1994
Quasi-uniformities and topologies. Zbl 0783.54031
Wang, Guojun; Wang, Hao
1993
Theory of topological molecular lattices. Zbl 0783.54032
Wang, Guojun
1992
Intrinsic topology and refinement of Hutton unit interval. Zbl 0783.54008
Wang, Guojun; Xu, Luoshan
1992
Pointwise topology on completely distributive lattices. Zbl 0667.54001
Wang, Guo-Jun
1989
Order-homomorphisms on completely distributive lattices. Zbl 0616.06012
Wang, Guojun
1987
Theory of $$\phi$$-minimal sets and its applications. Zbl 0671.06005
Wang, Guojun
1987
On the structure of fuzzy lattices. Zbl 0641.06006
Wang, Guojun
1986
Generalizations of C. T. Yang’s theorem and K. Fan’s theorem. Zbl 0583.54001
Wang, Guojun
1985
Some characteristic theorems of order-homomorphisms. Zbl 0599.06013
Wang, Guojun
1985
...and 7 more Documents
all top 5

### Cited by 685 Authors

 40 Wang, Guojun 32 Shi, Fu-Gui 17 Li, Shenggang 14 Gutiérrez García, Javier 13 Pei, Daowu 12 Hu, Baoqing 12 Li, Hongxing 12 Li, Qingguo 12 Picado, Jorge 12 Zhou, Hongjun 10 Wang, Sanmin 10 Zheng, Chongyou 9 Chen, Shuili 9 Luo, Minxia 9 Xu, Zeshui 9 Zhan, Jianming 8 Bai, Shizhong 8 Kubiak, Tomasz 8 Luo, Maokang 8 Xu, Yang 7 Li, Yongming 7 Zhao, Bin 6 Fang, Jinming 6 Jun, Young Bae 6 Liu, Yingming 6 Wang, Chunyong 5 Chen, Ting-Yu 5 Chen, Yixiang 5 Fang, Jinxuan 5 Liu, Huawen 5 Meng, Guangwu 5 Mirhosseinkhani, Ghasem 5 Pang, Bin 5 Qin, Keyun 5 She, Yanhong 5 Wang, Baoshu 5 Yuan, Xuehai 5 Zhang, Xiaohong 5 Zhou, Xiangnan 4 Dubois, Didier 4 Fahmi, Aliya 4 Gao, Ninghua 4 Ghareeb, A. 4 Hui, Xiaojing 4 Kudri, Soraya R. T. 4 Li, Lingqiang 4 Ma, Xueling 4 Mi, Jusheng 4 Pedrycz, Witold 4 Prade, Henri M. 4 Qurashi, Saqib Mazher 4 Shabir, Muhammad 4 Shi, Huixian 4 Tang, Yiming 4 Warner, Mary Wynne 4 Yang, Bin 4 Yue, Yueli 4 Zhang, Jialu 4 Zhao, Xiaodong 3 Ajmal, Naseem 3 Brown, Lawrence Michael 3 Chen, Degang 3 Chen, Xiaohong 3 Cheng, Jishu 3 Deschrijver, Glad 3 Duan, Jingyao 3 Dudek, Wiesław Aleksander 3 Estaji, Ali Akbar 3 Fan, Taihe 3 Han, Hongxia 3 He, Xiaoli 3 Kerre, Etienne E. 3 Kim, Yong Chan 3 Ko, Jung Mi 3 Li, Dechao 3 Li, Hongyan 3 Li, Jun 3 Li, Yongming 3 Li, Zhaowen 3 Li, Zhihui 3 Liu, Lianzhen 3 Lupiáñez, Francisco Gallego 3 Ma, Jiliang 3 Nazari, Narges 3 Oh, Ju-Mok 3 Qiao, Junsheng 3 Rodabaugh, Stephen Ernest 3 Sarma, Ratna Dev 3 Shi, Zhongke 3 Šostak, Alexander P. 3 Tiwari, S. P. 3 Wu, Cheng 3 Wu, Xiuyun 3 Xiao, Jianzhong 3 Xin, Xiu 3 Yan, Conghua 3 Yao, Wei 3 Yu, Chunhai 3 Zeng, Wenyi 3 Zhang, Jiancheng ...and 585 more Authors
all top 5

### Cited in 95 Serials

 187 Fuzzy Sets and Systems 71 Information Sciences 36 Soft Computing 33 International Journal of Approximate Reasoning 26 Journal of Intelligent and Fuzzy Systems 22 Computers & Mathematics with Applications 14 Journal of Mathematical Analysis and Applications 12 Iranian Journal of Fuzzy Systems 9 Fuzzy Optimization and Decision Making 9 Fuzzy Information and Engineering 8 Topology and its Applications 8 Chinese Science Bulletin 7 Journal of Pure and Applied Algebra 7 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6 Computational and Applied Mathematics 6 Journal of Applied Mathematics 6 Science in China. Series F 5 European Journal of Operational Research 4 International Journal of General Systems 4 Applied Mathematical Modelling 4 Science in China. Series E 4 Discrete Dynamics in Nature and Society 4 Korean Journal of Mathematics 3 International Journal of Mathematics and Mathematical Sciences 3 Quaestiones Mathematicae 3 International Journal of Intelligent Systems 3 Applied Mathematics Letters 3 Journal of the Egyptian Mathematical Society 3 Mathematical Problems in Engineering 3 Science China. Information Sciences 3 Journal of Mathematics 3 Journal of Logical and Algebraic Methods in Programming 2 International Journal of Systems Science 2 Chaos, Solitons and Fractals 2 Czechoslovak Mathematical Journal 2 Journal of Computer and System Sciences 2 Kybernetes 2 Archive for Mathematical Logic 2 Applied Categorical Structures 2 Journal of Mathematical Sciences (New York) 2 Mathematical Logic Quarterly (MLQ) 2 Complexity 2 Abstract and Applied Analysis 2 The ANZIAM Journal 2 Advances in Fuzzy Systems 2 Symmetry 2 Journal of Applied Mathematics & Informatics 2 Afrika Matematika 2 Mathematics 2 Open Mathematics 2 Journal of Algebraic Systems 1 Reports on Mathematical Physics 1 Algebra Universalis 1 Applied Mathematics and Computation 1 The Journal of Symbolic Logic 1 Bulletin of the Iranian Mathematical Society 1 Acta Mathematicae Applicatae Sinica. English Series 1 Optimization 1 Mathematical and Computer Modelling 1 Science in China. Series A 1 MSCS. Mathematical Structures in Computer Science 1 Pattern Recognition 1 Acta Mathematica Sinica. New Series 1 Journal of Mathematical Imaging and Vision 1 The Journal of Analysis 1 Applied Mathematics. Series B (English Edition) 1 Novi Sad Journal of Mathematics 1 Journal of Shanghai University 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Acta Mathematica Sinica. English Series 1 Stochastic Environmental Research and Risk Assessment 1 Journal of the Korean Society of Mathematical Education. Series B. The Pure and Applied Mathematics 1 Journal of Systems Science and Complexity 1 Journal of Applied Mathematics and Computing 1 Bulletin of the Brazilian Mathematical Society. New Series 1 Journal of Multiple-Valued Logic and Soft Computing 1 Journal of Applied Logic 1 New Mathematics and Natural Computation 1 Proyecciones 1 Journal of Nonlinear Science and Applications 1 Advances in Adaptive Data Analysis 1 Advances in Mathematical Physics 1 Journal of Control Science and Engineering 1 Journal of Mathematical Extension 1 ISRN Applied Mathematics 1 Journal of Mahani Mathematical Research Center 1 Sahand Communications in Mathematical Analysis 1 Khayyam Journal of Mathematics 1 International Journal of Applied and Computational Mathematics 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Cogent Mathematics 1 Algebraic Structures and their Applications 1 Journal of Applied Mathematics and Computational Mechanics 1 AIMS Mathematics
all top 5

### Cited in 30 Fields

 254 Mathematical logic and foundations (03-XX) 228 General topology (54-XX) 129 Order, lattices, ordered algebraic structures (06-XX) 125 Computer science (68-XX) 43 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 40 Operations research, mathematical programming (90-XX) 20 Category theory; homological algebra (18-XX) 19 Systems theory; control (93-XX) 14 Information and communication theory, circuits (94-XX) 13 Real functions (26-XX) 8 Convex and discrete geometry (52-XX) 7 Combinatorics (05-XX) 6 Group theory and generalizations (20-XX) 6 Measure and integration (28-XX) 6 Statistics (62-XX) 5 Functional analysis (46-XX) 5 Quantum theory (81-XX) 4 Topological groups, Lie groups (22-XX) 4 Probability theory and stochastic processes (60-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 2 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Numerical analysis (65-XX) 1 Relativity and gravitational theory (83-XX)