周红军;宣、苏灵 模糊蕴涵序数和的一般形式。 (中文。英文摘要) Zbl 1449.03011号 J.陕西省标准。大学,自然科学。预计起飞时间。 47,第5号,81-93(2019).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhou}和\textit{S.Xuan},J.陕西规范。大学,自然科学。第47版,第5号,第81-93页(2019年;Zbl 1449.03011) 全文: 内政部
段景尧;李永明 通过模糊集的逻辑等价确定相似度。 (中文。英文摘要) Zbl 1363.03026号 J.陕西标准。大学,自然科学。预计起飞时间。 44,第1号,7-13,23(2016).MSC公司:03E72型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Duan}和\textit{Y.Li},J.陕西规范。大学,自然科学。第44版,第1、7--13、23号(2016;Zbl 1363.03026) 全文: 内政部
郑木聪;石忠科;刘燕 剩余直觉模糊差分算子的统一形式。 (中文。英文摘要) Zbl 1313.03013号 J.陕西省标准。大学,自然科学。预计起飞时间。 第41期第4期第11-15页(2013年).MSC公司:03B52号 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zheng}等,《陕西省规范》。大学,自然科学。第41版,第4、11--15号(2013;Zbl 1313.03013)
王国军;王庆平;石慧贤;罗庆军;王伟 基于转移系统的一类时序逻辑公式的满意度。 (中文。英文摘要) Zbl 1313.03005号 J.陕西省标准。大学,自然科学。预计起飞时间。 第41期第4期第1-10页(2013年).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等人,J.陕西标准。大学,自然科学。第41版,第4、1-10号(2013;Zbl 1313.03005)
李亚丽;李永明 可能性测度下计算树逻辑的一些性质。 (中文。英文摘要) Zbl 1299.03029号 J.陕西省标准。大学,自然科学。预计起飞时间。 第41期第6期第6-11页(2013年).MSC公司:03B70号 03B52号 第68季度第45季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{Y.Li},J.陕西规范。大学,自然科学。第41版,第6、6--11号(2013;Zbl 1299.03029)
罗庆军;王国军 经典命题逻辑中的一致性和一致拓扑。 (中文。英文摘要) Zbl 1289.03002号 J.陕西省标准。大学,自然科学。预计起飞时间。 第41期第3期第7-12页(2013年).MSC公司:03B05号 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Luo}和\textit{G.Wang},J.陕西规范。大学,自然科学。第41版,第3、7--12号(2013;Zbl 1289.03002)
吴洪波;王娜(Wang,Na) \(\text的两种弱形式{WBR}_0\)-代数及其性质。 (中文。英文摘要) Zbl 1274.03112号 J.陕西标准。大学,自然科学。预计起飞时间。 40,第4期,第1-5期(2012年).MSC公司:03G25 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}和\textit{N.Wang},J.陕西规范。大学,自然科学。第40版,第4、1-5号(2012;Zbl 1274.03112)
王庆平;王国军 定量逻辑理论中的线性逻辑公式。 (中文。英文摘要) Zbl 1265.03024号 J.陕西省标准。大学,自然科学。预计起飞时间。 40,第2期,第1-5期(2012年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}和\textit{G.Wang}.陕西规范。大学,自然科学。第40版,第2、1--5号(2012;Zbl 1265.03024)
马丽娜;王国军 广义模态问题的α-三I解的形式化理论。 (中文。英文摘要) Zbl 1240.03012号 J.陕西省标准。大学,自然科学。预计起飞时间。 39,第2号,13-16,22(2011).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.Ma}和\textit{G.Wang},J.陕西规范。大学,自然科学。第39版,第2期,第13--16期,第22期(2011;Zbl 1240.03012)
周红军 Łukasiewicz模糊命题逻辑中最大一致理论的结构和拓扑特征。 (中文。英文摘要) Zbl 1240.03018号 J.陕西省标准。大学,自然科学。预计起飞时间。 39,第1期,第1-4期(2011年).MSC公司:03B52号 54A40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhou},J.陕西规范。大学,自然科学。第39版,第1、1--4号(2011;Zbl 1240.03018)
马巧云;王国军 逻辑系统(H_t)中的一种受限算法。 (中文。英文摘要) Zbl 1240.03013号 J.陕西省标准。大学,自然科学。预计起飞时间。 38,编号5,6-9(2010).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}和\textit{G.Wang},J.陕西规范。大学,自然科学。第38版,第5、6--9号(2010;Zbl 1240.03013)
胡明迪;王国军 经典逻辑度量空间上的自反变换。 (中文。英文摘要) Zbl 1212.03001号 J.陕西省标准。大学,自然科学。预计起飞时间。 37,第6号,1-4(2009).MSC公司:03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hu}和\textit{G.Wang},J.陕西规范。大学,自然科学。第37版,第6号,1--4(2009;Zbl 1212.03001)
王国军;高祥妮 命题逻辑系统中逻辑理论的真度及其应用。 (中文。英文摘要) Zbl 1212.03002号 J.陕西省标准。大学,自然科学。预计起飞时间。 37,第5、1-6号(2009年).MSC公司:03B05号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}和\textit{X.Gao},J.陕西规范。大学,自然科学。第37版,第5、1-6号(2009年;兹bl 1212.03002)
Ma,海滨;王国军 模态代数和模态滤子的一些性质。 (中文。英文摘要) Zbl 1212.03052号 J.陕西省标准。大学,自然科学。预计起飞时间。 37,第4期,1-5期(2009年).MSC公司:03G25 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ma}和\textit{G.Wang},J.陕西规范。大学,自然科学。第37版,第4、1--5号(2009;Zbl 1212.03052)
王伟 区间值t-范数左(紧)-连续的一个充要条件。 (中文。英文摘要) Zbl 1212.03017号 J.陕西省标准。大学,自然科学。预计起飞时间。 37,第3期,20-22(2009).MSC公司:03B52号 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},J.陕西规范。大学,自然科学。第37版,第3、20--22号(2009;Zbl 1212.03017)
王国军;石慧贤 (n)值命题逻辑中广义重言式的定量研究。 (中文。英文摘要) Zbl 1212.03011号 J.陕西省标准。大学,自然科学。预计起飞时间。 37,第2、1-5、12号(2009年).MSC公司:03B50号 03B48号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}和\textit{H.Shi},J.陕西规范。大学,自然科学。第37版,第2、1-5、12号(2009;Zbl 1212.03011)
于海;詹万荣;王国军 逻辑系统({\L}_n)中真度、散度和一致度的分布。 (中文。英文摘要) Zbl 1199.03012号 J.陕西标准。大学,自然科学。预计起飞时间。 36,第5期,第6-9期(2008年).MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{H.Yu}等,《陕西省规范》。大学,自然科学。第36版,第5、6--9号(2008;Zbl 1199.03012)
周红军;王国军 系统(mathcal{L}^*\)上最大一致理论特征的归纳证明。 (中文。英文摘要) Zbl 1199.03023号 J.陕西省标准。大学,自然科学。预计起飞时间。 36,第3号,1-6(2008).MSC公司:03B52号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhou}和\textit{G.Wang},J.陕西规范。大学,自然科学。第36版,第3、1-6号(2008年;兹bl 1199.03023)
王国军 模态逻辑系统S5的范式定理及其在知识库理论中的应用。 (中文。英文摘要) Zbl 1199.03007号 J.陕西省标准。大学,自然科学。预计起飞时间。 36,第1、1-6号(2008).MSC公司:03B45号 03B42型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang},J.陕西规范。大学,自然科学。第36版,第1、1--6号(2008;Zbl 1199.03007)
王汝;王国军 命题逻辑系统中的布尔理论。 (中文。英文摘要) Zbl 1199.03018号 J.陕西省标准。大学,自然科学。预计起飞时间。 36,第4、1-3、7号(2008年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{R.Wang}和\textit{G.Wang},J.陕西规范。大学,自然科学。第36版,第4、1-3、7号(2008;Zbl 1199.03018)
于鹏;王国军 基于正则蕴涵算子的三I方法的性质。 (中文。英文摘要) Zbl 1150.03309号 J.陕西省标准。大学,自然科学。预计起飞时间。 35,第2期,14-17(2007).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{P.Yu}和\textit{G.Wang},J.陕西规范。大学,自然科学。第35版,第2、14--17号(2007;Zbl 1150.03309)
关晓红;她,燕红;王国军 系统(H_a)的广义语义MP规则和广义语义HS规则。 (中文。英文摘要) Zbl 1150.03303号 J.陕西标准。大学,自然科学。预计起飞时间。 35,第1期,第9-12期,第33期(2007年).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{X.Guan}等,《陕西省规范》。大学,自然科学。第35版,第1、9--12、33号(2007;Zbl 1150.03303)
王国军;王伟;宋建社 极大一致命题理论集和康托三元集上的拓扑。 (中文。英文摘要) Zbl 1150.03301号 J.陕西省标准。大学,自然科学。预计起飞时间。 35,第2期,1-5期(2007年).MSC公司:03B05号 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等,《陕西省规范》。大学,自然科学。第35版,第2号,1--5(2007;Zbl 1150.03301)
王国军;郑木聪;刘燕 余余格的理想和嵌入定理。 (中文。英文摘要) Zbl 1123.03054号 J.陕西省标准。大学,自然科学。预计起飞时间。 34,第4号,1-6(2006).MSC公司:03G10年 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等人,J.陕西标准。大学,自然科学。第34版,第4号,1--6(2006;Zbl 1123.03054)
李丽峰;王国军 Łukasiewicz逻辑中积分真度、发散度和一致度的分布。 (中文。英文摘要) Zbl 1111.03026号 J.陕西省标准。大学,自然科学。预计起飞时间。 34,第2期,第5-8页(2006年).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和\textit{G.Wang},J.陕西规范。大学,自然科学。第34版,第2、5--8号(2006;Zbl 1111.03026)
罗庆军;王国军 IL-型三I算法及其可逆性。 (中文。英文摘要) Zbl 1111.03316号 J.陕西省标准。大学,自然科学。预计起飞时间。 34,第3期,9-13(2006).MSC公司:03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Q.Luo}和\textit{G.Wang},J.陕西规范。大学,自然科学。第34版,第3期,第9--13页(2006年;Zbl 1111.03316)
王国军;李丽峰 ukasiewicz命题逻辑系统中的赋值公式问题。 (中文。英文摘要) Zbl 1111.03028号 J.陕西省标准。大学,自然科学。预计起飞时间。 34,第3号,1-8(2006).MSC公司:03B50号 03B52号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}和\textit{L.Li},J.陕西规范。大学,自然科学。第34版,第3号,1--8(2006;Zbl 1111.03028)
马丽娜;王国军 剩余格中的Fuzzy滤波器。 (中文。英文摘要) Zbl 1102.06012号 J.陕西省标准。大学,自然科学。预计起飞时间。 34,第1期,第6-9页(2006年).MSC公司:05年6月 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.Ma}和\textit{G.Wang},J.陕西规范。大学,自然科学。第34版,第1、6--9号(2006;Zbl 1102.06012)
傅、李 正常统计默认扩展的证明。 (中文。英文摘要) Zbl 1105.03320号 J.陕西省标准。大学,自然科学。预计起飞时间。 33,第4期,15-20(2005).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fu},J.陕西规范。大学,自然科学。第33版,第4期,第15--20期(2005;Zbl 1105.03320)
如永美;王国军 一些三值命题逻辑系统中命题真度的分布。 (中文。英文摘要) Zbl 1105.03023号 J.陕西省标准。大学,自然科学。预计起飞时间。 第33页,第4期,第6-10页(2005年).MSC公司:03B50号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ru}和\textit{G.Wang},J.陕西规范。大学,自然科学。第33版,第4、6--10号(2005;Zbl 1105.03023)
张冬晓;王国军 FMP的构造性三I算法。 (中文。英文摘要) 兹比尔1105.03318 J.陕西省标准。大学,自然科学。预计起飞时间。 33,第4期,1-5期(2005年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhang}和\textit{G.Wang},J.陕西规范。大学,自然科学。第33版,第4号,1--5(2005;Zbl 1105.03318)
王国军;秦晓燕;周向南 二值谓词逻辑中公式的拟真度理论。 (中文。英文摘要) Zbl 1091.03011号 J.陕西省标准。大学,自然科学。预计起飞时间。 33,第1号,1-6(2005).MSC公司:03B60号 03B10号机组 28A35型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等,《陕西省规范》。大学,自然科学。第33版,第1、1--6号(2005;Zbl 1091.03011)
韩,程;周红军 关于证明\({\mathcal L}^*\)的(强)完备性定理的注记。 (中文。英文摘要) Zbl 1072.03510号 J.陕西省标准。大学,自然科学。预计起飞时间。 33,第2期,9-12期,17期(2005年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Han}和\textit{H.Zhou},J.陕西规范。大学,自然科学。第33版,第2、9--12、17号(2005;Zbl 1072.03510)
王伟;王国军 伪度量({mathcal L}^*\)-Lindenbaum代数上基本运算的连续性。 (中文。英文摘要) Zbl 1076.03525号 J.陕西标准。大学,自然科学。预计起飞时间。 33,第2期,1-4期(2005年).MSC公司:03B52号 68层37 03G25 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}和\textit{G.Wang}.陕西规范。大学,自然科学。第33版,第2号,1--4(2005;Zbl 1076.03525)
任、芳;王国军 正则算子蕴涵的分析性质。 (中文。英文摘要) Zbl 1075.03502号 J.陕西省标准。大学,自然科学。预计起飞时间。 33,第3期,第6-9期(2005年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ren}和\textit{G.Wang},J.陕西规范。大学,自然科学。第33版,第3、6--9号(2005年;Zbl 1075.03502)
秦、冯 (R_0)-代数的理想和约化定义。 (中文。英文摘要) Zbl 1089.03508号 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第3期,第18-21页(2004年).MSC公司:03G10年 06B10号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{F.Qin},J.陕西规范。大学,自然科学。第32版,第3号,18--21(2004;Zbl 1089.03508)
傅、李;王国军 三I方法的统一形式。 (中文。英文摘要) Zbl 1091.03503号 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第3期,第12-17页(2004年).MSC公司:03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{L.Fu}和\textit{G.Wang},J.陕西规范。大学,自然科学。第32版,第3期,第12--17页(2004年;Zbl 1091.03503)
苏仁锁;王国军 模糊推理中的RL型蕴涵和三I算法。 (中文。英文摘要) Zbl 1091.03505号 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第3期,7-11期(2004年).MSC公司:03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}和\textit{G.Wang},J.陕西规范。大学,自然科学。第32版,第3、7--11号(2004年;Zbl 1091.03505)
王龙春;王国军 (上划线W)的正则子代数及其应用。 (中文。英文摘要) Zbl 1089.03509号 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第2期,第5-9期(2004年).MSC公司:03G10年 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{G.Wang},J.陕西规范。大学,自然科学。第32版,第2、5--9号(2004年;Zbl 1089.03509)
马晓觉;王国军 在Łukasiewicz逻辑系统中的\(F(S)\)上的一种分区。 (中文。英文摘要) Zbl 1091.03007号 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第2期,第1-4期(2004年).MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{X.Ma}和\textit{G.Wang},J.陕西规范。大学,自然科学。第32版,第2号,1--4(2004;Zbl 1091.03007)
吴洪波;马巧云 一种基于系统({mathcal L}^*\)的非单调推理系统。 (中文。英文摘要) Zbl 1075.03010号 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第4期,第4-8期(2004年).MSC公司:03B52号 68T27型 68层37 68层35 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}和\textit{Q.Ma},J.陕西标准。大学,自然科学。第32版,第4、4--8号(2004;Zbl 1075.03010)
王国军;周红军 一阶逻辑完备性的新代数证明。 (中文。英文摘要) 邮编1075.03005 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第4期,第1-3期(2004年).MSC公司:03B10号机组 05年3月 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}和\textit{H.Zhou},J.陕西规范。大学,自然科学。第32版,第4号,1--3(2004;Zbl 1075.03005)
韩,程;徐文燕;吴,衡阳 非完全有序\(R_0\)-代数的存在性及其构造。 (中文。英文摘要) Zbl 1060.03506号 J.陕西省标准。大学,自然科学。预计起飞时间。 32,第1期,25-28(2004).MSC公司:03G10年 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Han}等,《陕西省规范》。大学,自然科学。第32版,第1期,第25--28页(2004年;Zbl 1060.03506)
王宝石;张晓红 关于形式系统({mathcal L}^*\)和(R_0)-代数的一些结果。 (中文。英文摘要) Zbl 1082.03507号 J.陕西省标准。大学,自然科学。预计起飞时间。 31,第3号,28-31,42(2003).MSC公司:03B52号 35楼06号 PDF格式BibTeX公司 XML格式引用 \textit{B.Wang}和\textit{X.Zhang},J.陕西标准。大学,自然科学。第31版,第3号,第28-31页,第42页(2003年;Zbl 1082.03507)
周向南;秦晓燕 关于PI解析的一些注释。 (中文。英文摘要) Zbl 1045.03510号 J.陕西省标准。大学,自然科学。预计起飞时间。 31,第4期,20-22(2003).MSC公司:03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhou}和\textit{X.Qin},J.陕西规范。大学,自然科学。第31版第4、20--22号(2003;Zbl 1045.03510)
王国军;兰荣 系统(H_{\alpha})的广义重言式。 (中文。英文摘要) Zbl 1037.03509号 J.陕西省标准。大学,自然科学。预计起飞时间。 31,第2期,第1-11页(2003年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}和\textit{R.Lan},J.陕西规范。大学,自然科学。第31版,第2号,1--11(2003;Zbl 1037.03509)
裴道武 (R_0)代数的简化公理系统和独立性。 (中文。英文摘要) Zbl 1027.03509号 J.陕西省标准。大学,自然科学。预计起飞时间。 第30期,第3期,第5-9期(2002年).MSC公司:03B52号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{D.Pei},J.陕西规范。大学,自然科学。第30版,第3、5-9号(2002年;Zbl 1027.03509)
宋庆炎;杨兴忠 命题逻辑中关于\(F(S)\)的正则相似关系。 (中文。英文摘要) Zbl 1027.03510号 J.陕西省标准。大学,自然科学。预计起飞时间。 30,第4期,23-27(2002).MSC公司:03B52号 68层37 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Song}和\textit{X.Yang},J.陕西规范。大学,自然科学。第30版,第4号,23--27(2002;Zbl 1027.03510)
王国军 一阶逻辑完备性定理的代数证明。 (中文。英文摘要) Zbl 1027.03504号 J.陕西省标准。大学,自然科学。预计起飞时间。 30,第4期,7-11(2002).MSC公司:03B10号机组 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang},J.陕西规范。大学,自然科学。第30版,第4、7--11号(2002年;Zbl 1027.03504)
李军;袁和军 演算语义学中的演算相似度、伪度量和近似推理理论。 (中文。英文摘要) Zbl 1006.03517号 J.陕西省标准。大学,自然科学。预计起飞时间。 30,第1期,第27-30页(2002年).MSC公司:03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}和\textit{H.Yuan},J.陕西标准。大学,自然科学。第30版,第1期,27--30(2002;Zbl 1006.03517)
袁和军;李军 广义形式的三I算法。 (中文。英文摘要) Zbl 1007.03021号 J.陕西省标准。大学,自然科学。预计起飞时间。 30,第1期,22-26(2002).MSC公司:03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Yuan}和\textit{J.Li},J.陕西规范。大学,自然科学。第30版,第1期,22--26(2002;Zbl 1007.03021)
傅、李 亚BL代数中的演绎系统理论。 (中文。英文摘要) Zbl 1007.03513号 J.陕西省标准。大学,自然科学。预计起飞时间。 30,第1期,17-21(2002).MSC公司:03G25 03B52号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{L.Fu},J.陕西规范。大学,自然科学。第30版,第1期,17--21(2002;Zbl 1007.03513)
吴洪波;陈静林 系统({mathcal L}^*)的半对偶形式演绎系统。 (中文。英文摘要) Zbl 0999.03507号 J.陕西省标准。大学,自然科学。预计起飞时间。 29,第4期,4-8期(2001年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}和\textit{J.Chen},J.陕西规范。大学,自然科学。第29版,第4、4--8号(2001;Zbl 0999.03507)
李永明 非交换线性逻辑及其量子语义。 (中文。英文摘要) Zbl 0987.03018号 J.陕西标准。大学,自然科学。预计起飞时间。 29,第2期,第1-5页(2001年).MSC公司:03B47号 07年6月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li},J.陕西规范。大学,自然科学。第29版,第2号,1--5(2001;Zbl 0987.03018)
王国军;王祥云;宋,建设 区间值模糊推理FOOL方法的改进。 (中文。英文摘要) Zbl 0982.03502号 J.陕西省标准。大学,自然科学。预计起飞时间。 29,第3期,6-19(2001).MSC公司:03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等,《陕西省规范》。大学,自然科学。第29版,第3、6--19号(2001;Zbl 0982.03502)
吴洪波;文秋梅 系统中的模糊演绎定理。 (中文。英文摘要) Zbl 0981.03511号 J.陕西省标准。大学,自然科学。预计起飞时间。 29,第1期,17-22(2001).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}和\textit{Q.Wen},J.陕西规范。大学,自然科学。第29版,第1期,第17--22页(2001;Zbl 0981.03511)
吴洪波;文秋梅 微积分语义中的相似度和伪度量。 (中文。英文摘要) Zbl 0987.03021号 J.陕西省标准。大学,自然科学。预计起飞时间。 28,第3号,15-19,25(2000).MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}和\textit{Q.Wen},J.陕西标准。大学,自然科学。第28版,第3号,15--19,25(2000;Zbl 0987.03021)
王国军 一般化的方法论规则。 (中文。英文摘要) Zbl 0987.03020号 J.陕西省标准。大学,自然科学。预计起飞时间。 28,第3期,1-9期(2000年).MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang},J.陕西规范。大学,自然科学。第28版,第3号,1-9(2000;Zbl 0987.03020)
裴道武 多值逻辑系统的子代数和广义重言式。 (中文。英文摘要) Zbl 0978.03018号 J.陕西省标准。大学,自然科学。预计起飞时间。 28,第2期,18-22(2000).MSC公司:03B50号 03G25 PDF格式BibTeX公司 XML格式引用 \textit{D.Pei},J.陕西规范。大学,自然科学。第28版,第2号,18--22(2000;Zbl 0978.03018)
吴洪波;文秋梅 逻辑系统中(W,W,W_k)的(F(S))分区和升级算法的性质。 (中文。英文摘要) Zbl 0980.03026号 J.陕西省标准。大学,自然科学。预计起飞时间。 28,第2期,第12-17页(2000年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}和\textit{Q.Wen},J.陕西规范。大学,自然科学。第28版,第2号,12--17(2000;Zbl 0980.03026)
王国军 抽象语义的紧性定理。 (中文。英文摘要) Zbl 0963.0304号 J.陕西标准。大学,自然科学。预计起飞时间。 28,第1期,第1-4期(2000年).MSC公司:03B52号 03G10年 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang},J.陕西规范。大学,自然科学。第28版,第1号,1--4(2000;Zbl 0963.03040)
王国军 聚合和推理的顺序。 (中文。英文摘要) Zbl 0972.68154号 J.陕西省标准。大学,自然科学。预计起飞时间。 27,第1期,第1-5页(1999年).MSC公司:68层37 68层35 03B52号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang},J.陕西规范。大学,自然科学。第27版,第1、1--5号(1999;Zbl 0972.68154)