zbMATH — the first resource for mathematics

Wang, Guojun

Compute Distance To:
 Author ID: wang.guojun Published as: Wang, Guojun; Wang, Guo-Jun; Wang, Guo Jun; Wang, G.; Wang, Guo-jun; Wang, GuoJun
 Documents Indexed: 236 Publications since 1981, including 3 Books
all top 5

Co-Authors

 50 single-authored 15 Zhou, Hongjun 12 Liu, Huawen 10 She, Yanhong 8 Luo, Qingjun 8 Wang, Wei 7 Shi, Huixian 6 Hui, Xiaojing 6 Song, Jianshe 5 Duan, Jingyao 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 Zheng, Mucong 1 Bai, Yongcheng 1 Bao, Feng 1 Bordas, Stéphane Pierre Alain 1 Chang, Shih-Sen 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, Lin 1 Wang, Ru 1 Wang, Xiangyun 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, Jiancheng 1 Zhang, Jinfeng 1 Zhang, Wenxiu 1 Zhang, Xingfang 1 Zhao, Dongsheng 1 Zhao, Yunhe 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 The Journal of Fuzzy Mathematics 3 Basic Sciences Journal of Textile Universities 3 Science China. Information Sciences 2 Computer Methods in Applied Mechanics and Engineering 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 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 Advances in Mathematics 1 Questions and Answers in General Topology 1 Northeastern Mathematical Journal 1 European Journal of Operational Research 1 Mathematical Logic Quarterly (MLQ) 1 Engineering Analysis with Boundary Elements 1 Multiple-Valued Logic 1 Functional Differential Equations 1 Acta Mathematica Scientia. Series A. (Chinese Edition) 1 Acta Mathematica Sinica. English Series 1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 1 Journal of Jilin University. Science Edition 1 Journal of Baoji University of Arts and Sciences. Natural Science Edition 1 New Mathematics and Natural Computation
all top 5

Fields

 171 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) 4 Information and communication theory, circuits (94-XX) 3 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 3 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Combinatorics (05-XX) 2 Real functions (26-XX) 2 Operator theory (47-XX) 2 Probability theory and stochastic processes (60-XX) 2 Fluid mechanics (76-XX) 1 Number theory (11-XX) 1 Ordinary differential equations (34-XX) 1 Functional analysis (46-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX)

Citations contained in zbMATH Open

104 Publications have been cited 946 times in 582 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
A formal deductive system for fuzzy propositional calculus. Zbl 0889.03017
Wang, Guojun
1997
Intuitionistic fuzzy sets and $$L$$-fuzzy sets. Zbl 0944.03051
Wang, Guojun; He, Yingyu
2000
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
Intrinsic topology and refinement of Hutton unit interval. Zbl 0783.54008
Wang, Guojun; Xu, Luoshan
1992
Quantitative logic. Zbl 1167.03020
Wang, Guojun; Zhou, Hongjun
2009
Pointwise topology on completely distributive lattices. Zbl 0667.54001
Wang, Guo-Jun
1989
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
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
MV-algebras, BL-algebras, $$R_0$$-algebras, and multiple-valued logic. Zbl 1333.06029
Wang, Guojun
2002
Theory of truth degrees of propositions in two-valued logic. Zbl 1105.03316
Wang, Guojun; Fu, Li; Song, Jianshe
2002
Endographic approach on supremum and infimum of fuzzy numbers. Zbl 1041.03512
Fan, Taihe; Wang, Guojun
2004
On robustness of the full implication triple I inference method with respect to finer measurements. Zbl 1316.68196
Wang, Guojun; Duan, Jingyao
2014
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
Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic. Zbl 1062.03022
Wang, Guo-Jun; Zhang, Wen-Xiu
2005
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
Triple I method based on pointwise sustaining degrees. Zbl 1142.03341
Liu, Hua-Wen; Wang, Guo-Jun
2008
Roughness and fuzziness in quantales. Zbl 1341.06018
Luo, Qingjun; Wang, Guojun
2014
A nodal integration axisymmetric thin shell model using linear interpolation. Zbl 1452.74075
Cui, X. Y.; Wang, G.; Li, G. Y.
2016
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
A note on the unified forms of triple I method. Zbl 1130.03307
Liu, Hua-Wen; Wang, Guo-Jun
2006
Triple I method and interval valued fuzzy reasoning. Zbl 0964.03519
Wang, Guojun
2000
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
Fuzzy continuous input-output controllers are universal approximators. Zbl 0951.93047
Wang, Guojun
1998
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
The extensions $$\mathcal L_n^{\ast}$$ of the formal system $$\mathcal L^{\ast}$$ and their completeness. Zbl 1040.03022
Pei, Daowu; Wang, Guojun
2003
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
Generalizations of C. T. Yang’s theorem and K. Fan’s theorem. Zbl 0583.54001
Wang, Guojun
1985
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
Theory of truth degrees of propositions in the logic system $$L_{n}^{*}$$. Zbl 1104.03014
Li, Jun; Wang, Guojun
2006
Logic foundations of fuzzy modus ponens and fuzzy modus tollens. Zbl 0980.03025
Wang, Guo-Jun
1997
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
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
Some characteristic theorems of order-homomorphisms. Zbl 0599.06013
Wang, Guojun
1985
Logical metric spaces. Zbl 1007.03020
Wang, Guojun; Wang, Wei
2001
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
Rough truth degrees of formulas and approximate reasoning in rough logic. Zbl 1230.68197
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
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 novel hybrid deterministic-statistical approach for the mid-frequency vibro-acoustic problems. Zbl 07203946
Wang, G.; Zhang, Y. X.; Guo, Z. B.; Zhou, Z. G.
2020
Relations among the category of topological molecular lattices and certain related categories. Zbl 0880.54011
Wang, Guojun; Li, Yongming
1997
Minimal Hausdorff $$L$$-fuzzy topological spaces. Zbl 0831.54007
Wang, Guo-Jun
1994
Three and two-valued Łukasiewicz theories in the formal deductive system $${\mathcal L}^*$$ (NM-logic). Zbl 1176.03008
Zhou, Hongjun; Wang, Guojun
2008
Borel probabilistic and quantitative logic. Zbl 1267.03036
Zhou, Hongjun; Wang, Guojun
2011
Quantitative logic. I. Zbl 1124.03007
Wang, Guojun
2006
Randomization of classical inference patterns and its application. Zbl 1127.03017
Wang, Guojun; Hui, Xiaojing
2007
A topological characterization of consistency of logic theories in propositional logic. Zbl 1112.03007
Wang, Guo-Jun; She, Yan-Hong
2006
Lattice-valued modal propositional logic and its completeness. Zbl 1219.03025
Shi, HuiXian; Wang, GuoJun
2010
Theory of $$(n)$$ truth degrees of formulas in modal logic and a consistency theorem. Zbl 1191.03014
Wang, Guojun; Duan, Qiaolin
2009
Quasi-uniformities and topologies. Zbl 0783.54031
Wang, Guojun; Wang, Hao
1993
A new kind of connectivity in fuzzy topological spaces. Zbl 0588.54009
Zhao, Dongsheng; Wang, Guojun
1984
Generalized tautologies of the systems $$H_{\alpha}$$. Zbl 1037.03509
Wang, Guojun; Lan, Rong
2003
A new method for fuzzy reasoning. Zbl 1333.03062
Wang, Guo Jun
1999
Gödel implication operator is not suitable for establishing fuzzy propositional logic. Zbl 1333.03066
Wang, Wei; Wang, Guo Jun
2005
On the absolute closedness of S-closed spaces. Zbl 0527.54023
Wang, Guojun
1983
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
$$\mathbf R_0$$-algebra and its structure. Zbl 0947.03081
Cheng, Guosheng; Wang, Guojun
1999
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
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
Quantitative research of generalized tautologies in $$n$$-valued propositional logic $$L^*_n$$. Zbl 1212.03011
Wang, Guojun; Shi, Huixian
2009
Ideals and an embedding theorem for co-residuated lattices. Zbl 1123.03054
Wang, Guojun; Zheng, Mucong; Liu, Yan
2006
Topology on the set of $$R_{0}$$ semantics for $$R_{0}$$ algebras. Zbl 1138.03048
Zhang, Jialu; Wang, Guojun; Hu, Mingdi
2008
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
The theory of $$\alpha$$-truth degrees in $$n$$-valued Gödel propositional logic. Zbl 1174.68609
Li, Jun; Wang, Guojun
2007
Left-continuity of $$t$$-norms on the $$n$$-dimensional Euclidean cube. Zbl 1189.26017
Wang, Guojun; Wang, Wei
2010
Theory of $$\phi$$-minimal sets and its applications. Zbl 0671.06005
Wang, Guojun
1987
Order-homomorphisms on completely distributive lattices. Zbl 0616.06012
Wang, Guojun
1987
The structure of $${\mathcal L}^*$$-Lindenbaum algebras and a simplified system of axioms for $${\mathcal L}^*$$. Zbl 0930.03096
He, Yingyu; Wang, Guojun
1998
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
Some basic problems on fuzzy reasoning. Zbl 0970.68508
Wang, Guojun
2000
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
A novel hybrid deterministic-statistical approach for the mid-frequency vibro-acoustic problems. Zbl 07203946
Wang, G.; Zhang, Y. X.; Guo, Z. B.; Zhou, Z. 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
Theory of $$\alpha$$-truth degrees in $$n$$-valued Gödel propositional logic. Zbl 1112.68467
Li, Jun; Wang, Guojun
2007
The theory of $$\alpha$$-truth degrees in $$n$$-valued Gödel propositional logic. Zbl 1174.68609
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
Conditional truth degree of formulas in classical propositional logic. Zbl 1333.03036
Han, Bang He; Wang, Guo Jun
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
Quantitative logic. I. Zbl 1124.03007
Wang, Guojun
2006
A topological characterization of consistency of logic theories in propositional logic. Zbl 1112.03007
Wang, Guo-Jun; She, Yan-Hong
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
Ideals and an embedding theorem for co-residuated lattices. Zbl 1123.03054
Wang, Guojun; Zheng, Mucong; Liu, Yan
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
A survey of the triple I method. Zbl 1333.03063
Wang, Guo Jun; Liu, Hua Wen; Song, Jian She
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
The completeness and applications of the formal system $$\mathcal L^\ast$$. Zbl 1182.03053
Pei, Daowu; Wang, Guojun
2002
MV-algebras, BL-algebras, $$R_0$$-algebras, and multiple-valued logic. Zbl 1333.06029
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
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
Theory of generalized tautology in Łukasiewicz logic system. Zbl 1012.03507
Wu, Hongbo; Wang, Guojun
2000
Some basic problems on fuzzy reasoning. Zbl 0970.68508
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
$$\mathbf R_0$$-algebra and its structure. Zbl 0947.03081
Cheng, Guosheng; Wang, Guojun
1999
Implication lattices and a fuzzy topological representation theorem for them. Zbl 1011.03048
Wang, Guojun
1999
Fuzzy continuous input-output controllers are universal approximators. Zbl 0951.93047
Wang, Guojun
1998
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
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
Logic foundations of fuzzy modus ponens and fuzzy modus tollens. Zbl 0980.03025
Wang, Guo-Jun
1997
Quasi-formal deductive system for fuzzy propositional calculus. Zbl 0886.03019
Wang, Guojun
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
Theory of $$\phi$$-minimal sets and its applications. Zbl 0671.06005
Wang, Guojun
1987
Order-homomorphisms on completely distributive lattices. Zbl 0616.06012
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
Order-homomorphisms on fuzzes. Zbl 0553.06015
Wang, Guo-Jun
1984
Topological molecular lattices. I. Zbl 0562.54015
Wang, Guojun
1984
A new kind of connectivity in fuzzy topological spaces. Zbl 0588.54009
Zhao, Dongsheng; Wang, Guojun
1984
...and 4 more Documents
all top 5

Cited by 645 Authors

 40 Wang, Guojun 31 Shi, Fu-Gui 17 Li, Shenggang 14 Gutiérrez García, Javier 13 Pei, Daowu 12 Li, Hongxing 12 Li, Qingguo 12 Picado, Jorge 12 Zhou, Hongjun 11 Hu, Baoqing 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 5 Chen, Ting-Yu 5 Chen, Yixiang 5 Fang, Jinxuan 5 Liu, Huawen 5 Meng, Guangwu 5 Pang, Bin 5 Qin, Keyun 5 She, Yanhong 5 Wang, Baoshu 5 Yuan, Xuehai 5 Zhang, Xiaohong 5 Zhou, Xiangnan 4 Gao, Ninghua 4 Hui, Xiaojing 4 Kudri, Soraya R. T. 4 Ma, Xueling 4 Qurashi, Saqib Mazher 4 Shabir, Muhammad 4 Shi, Huixian 4 Šostak, Alexander P. 4 Wang, Chunyong 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 Dubois, Didier 3 Dudek, Wiesław Aleksander 3 Fahmi, Aliya 3 Fan, Taihe 3 Ghareeb, A. 3 Han, Hongxia 3 He, Xiaoli 3 Kerre, Etienne E. 3 Li, Dechao 3 Li, Hongyan 3 Li, Yongming 3 Li, Zhaowen 3 Li, Zhihui 3 Liu, Lianzhen 3 Lupiáñez, Francisco Gallego 3 Ma, Jiliang 3 Mi, Jusheng 3 Mirhosseinkhani, Ghasem 3 Prade, Henri M. 3 Rodabaugh, Stephen Ernest 3 Sarma, Ratna Dev 3 Shi, Zhongke 3 Tang, Yiming 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 3 Zhu, Xinghua 2 Abd El-Latif, Ahmed Aref 2 Abdullah, Saleem 2 Agell, Núria 2 Ahn, Sun Shin 2 Alcantud, José Carlos Rodríguez 2 Amin, Fazli 2 Cui, Hongbin 2 Dai, Songsong 2 Davvaz, Bijan ...and 545 more Authors
all top 5

Cited in 86 Serials

 187 Fuzzy Sets and Systems 71 Information Sciences 26 International Journal of Approximate Reasoning 26 Soft Computing 26 Journal of Intelligent and Fuzzy Systems 22 Computers & Mathematics with Applications 14 Journal of Mathematical Analysis and Applications 11 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 Journal of Applied Mathematics 6 Science in China. Series F 5 European Journal of Operational Research 5 Computational and Applied Mathematics 4 International Journal of General Systems 4 Applied Mathematical Modelling 4 Science in China. Series E 4 Discrete Dynamics in Nature and Society 4 Journal of Mathematics 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 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 The ANZIAM Journal 2 Advances in Fuzzy Systems 2 Symmetry 2 Afrika Matematika 2 Mathematics 2 Open Mathematics 2 Journal of Algebraic Systems 1 Algebra Universalis 1 Applied Mathematics and Computation 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 Abstract and Applied Analysis 1 Novi Sad Journal of Mathematics 1 Journal of Shanghai University 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Acta Mathematica Sinica. English Series 1 Stochastic Environmental Research and Risk Assessment 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 ISRN Applied Mathematics 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 Journal of Applied Mathematics and Computational Mechanics
all top 5

Cited in 30 Fields

 248 Mathematical logic and foundations (03-XX) 220 General topology (54-XX) 123 Order, lattices, ordered algebraic structures (06-XX) 115 Computer science (68-XX) 39 Operations research, mathematical programming (90-XX) 38 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 Category theory; homological algebra (18-XX) 19 Systems theory; control (93-XX) 14 Real functions (26-XX) 14 Information and communication theory, circuits (94-XX) 7 Combinatorics (05-XX) 7 Measure and integration (28-XX) 7 Convex and discrete geometry (52-XX) 7 Statistics (62-XX) 6 Group theory and generalizations (20-XX) 5 Functional analysis (46-XX) 4 Topological groups, Lie groups (22-XX) 4 Probability theory and stochastic processes (60-XX) 4 Quantum theory (81-XX) 3 General algebraic systems (08-XX) 2 History and biography (01-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)