Computer Science ›› 2017, Vol. 44 ›› Issue (4): 263-268.doi: 10.11896/j.issn.1002-137X.2017.04.055
Previous Articles Next Articles
CHEN Cheng, PAN Zheng-hua and LV Yong-xi
[1] ZHANG Z Y,SUI Y F,CAO C G.Based on the Fuzzy Inference System in the Form of Propositional Modal Logic[J].Journal of Software,2005,16(8):1359-1365. [2] WANG D G,GU Y D,LI H X.Fuzzy Modal Proposition Logic and its Generalized Tautologies[J].ACTA Electronica Sinica,2007,5(2):261-264.(in Chinese) 汪德刚,谷云东,李洪兴.模糊模态命题逻辑及其广义重言式[J].电子学报,2007,35(2):261-264. [3] WAN X L.Unary Operator Logic Theory of three Agents--Special Function Relativity under the View of Modern Modal Logic[J].Journal of Huazhong University of Science and Technology (Social Science Edition),2012,26(3):38-47.(in Chinese) 万小龙.一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑[J].华中科技大学学报(社会科学版),2012,26(3):33-39. [4] ZHAO X.Research Progress of Multi Modal Logic[J].Philosophical Trends,2013(2):92-96.(in Chinese) 赵贤.多模态逻辑研究进展[J].哲学动态,2013(2):92-96. [5] ZHU W J,XIAO X.An Extension of the Propositional Calculus System of Medium Logic (I)[J].Journal of Nanjing University (Natural Sciences Edition),1990,26(4):564-578. [6] ZHU W J,XIAO X.Propositional Calculus System of Medium logic (II)[J].J Math Res & Exposition,1988,8(3):457-466. [7] ZOU J,QUI W.Medium Modal Logic Formal System and Semantics[C]∥Proc 19th Intern Symp Multiple-Valued Logic.1989. [8] GONG N S,ZHANG D M,ZHU W J.Theory and Implementation of the Medium Automatic Reasoning (IV) - a kind of Modal Logic System based on Medium Logic[J].Pattern Recognition and Artificial Intelligence,1995,8(1):1-8.(in Chinese) 宫宁生,张东摩,朱梧槚.中介自动推理的理论与实现(IV)一类基于中介逻辑的模态逻辑系统[J].模式识别与人工智能,1995,8(1):1-8. [9] ZHANG D M,GONG N S.Theory and Implementation of theMedium Automatic Reasoning (V)-the table deduction system of the medium modal logic MK[J].Pattern Recognition and Artificial Intelligence,1995,8(2):114-120.(in Chinese) 张东摩,宫宁生.中介自动推理的理论与实现(V)—中介模态逻辑MK的表推演系统[J].模式识别与人工智能,1995,8(2):114-120. [10] PAN Z H.A Logical Description of Different Negative Relation in Knowledge[J].Progress in Natural Science,2008,18(11):66-74. [11] PAN Z H.Three Kinds of Negation of Fuzzy Knowledge and Their Base of Set[J].Chinese Journal of Computers,2012(7):1421-1428. [12] PAN Z H.Fuzzy Propositional Logic System of distinguish between three kinds of Negation and its Application[J].Journal of Software,2014,25(6):1255-1272.(in Chinese) 潘正华.区分3种否定的模糊命题逻辑系统及其应用[J].软件学报,2014,25(6):1255-1272. |
No related articles found! |
|