{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:31:51Z","timestamp":1729629111563,"version":"3.28.0"},"reference-count":80,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/fuzzy.2008.4630419","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T14:07:09Z","timestamp":1222438029000},"page":"531-538","source":"Crossref","is-referenced-by-count":0,"title":["Medium mathematics systems: Review and prospect"],"prefix":"10.1109","author":[{"family":"Ning-ning","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Long","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"79","first-page":"2186","article-title":"measure of medium truth scale and its application (i)","volume":"29","author":"long","year":"2006","journal-title":"Chinese Journal of Computers"},{"year":"0","key":"78"},{"key":"77","article-title":"incomplete information reasoning system. i3sml based on medium logic ml[a]","author":"zhu","year":"1994","journal-title":"In Fundamental research '94 of intelligent computer[C]"},{"key":"35","first-page":"135","article-title":"attestation of ml's compatibility[j]","volume":"1","author":"qian lei","year":"1987","journal-title":"Fuzzy Systems and Mathematics"},{"key":"36","article-title":"the resolution principle for the medium logical calculus system, with functions mff* [a]","author":"xiao","year":"1994","journal-title":"In Fundamental research '94 of intelligent computer[C]"},{"key":"33","first-page":"40","article-title":"some character of propositional calculus system of medium logic(mp*) [j]","author":"jian-guo","year":"1989","journal-title":"Application mathematics"},{"key":"34","first-page":"75","article-title":"completeness of propositional connectives in mp* systems [j]","volume":"1","author":"tan nai","year":"1987","journal-title":"Journal of Oil and Gas Technology"},{"key":"39","first-page":"6","article-title":"theories and implementations of automated reasoning in medium logic:(iv)- system of modal, logic based on medium logic [j]","volume":"8","author":"gong","year":"1995","journal-title":"Pattern Recognition and Artificial Intelltgence"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1989.37800"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1989.37754"},{"key":"43","first-page":"365","article-title":"on medium logic mpm for incomplete information databases","volume":"28","author":"mao","year":"2001","journal-title":"Computer Science"},{"key":"42","first-page":"45","article-title":"medium, logic calculus system mp n and mfn [j]","volume":"13","author":"mao","year":"1999","journal-title":"Fuzzy Systems and Mathematics"},{"key":"41","first-page":"87","article-title":"theories and implementations of automated reasoning in medium. logic(i) - tableau systems of medium propositional calculus[j]","volume":"7","author":"zhu","year":"1994","journal-title":"Pattern Recognition and Artificial Intelligence"},{"key":"40","first-page":"800","article-title":"model characters of medium, temporal logic [j]","volume":"28","author":"shi","year":"1996","journal-title":"Journal of Nanjing University of Aeronautics & Astronautics"},{"key":"80","first-page":"1551","article-title":"measure of medium truth scale and its application (ii)","volume":"30","author":"long","year":"2007","journal-title":"Chinese Journal of Computers"},{"key":"67","first-page":"151","article-title":"the complete axiom set of mpm[j]","volume":"33","author":"cao","year":"2006","journal-title":"Computer Science"},{"key":"66","first-page":"177","article-title":"strong completeness of medium logic system[j]","volume":"13","author":"pan","year":"2005","journal-title":"Journal of Southwest Jiaotong University"},{"key":"69","first-page":"846","article-title":"the algebraic system of mpm[j]","volume":"26","author":"cao","year":"2006","journal-title":"Research and Exposition in Mathematics"},{"key":"68","first-page":"131","article-title":"syntactic completeness of medium logic(ml) [j]","volume":"33","author":"pan","year":"2006","journal-title":"Computer Science"},{"year":"0","key":"22"},{"key":"23","first-page":"113","article-title":"a system of medium axiomatic set theoryms[j]","author":"xiao","year":"1988","journal-title":"Chinese science (A)"},{"year":"0","key":"24"},{"year":"0","key":"25"},{"key":"26","first-page":"179","article-title":"natural number system in ms [j]","volume":"29","author":"zhang","year":"1997","journal-title":"Journal of NanJing University of Aeronautics and Astronautics"},{"key":"27","first-page":"263","article-title":"semantic interpretation of propositional calculus system, of medium logic mp* and its soundness and completeness [j]","volume":"8","author":"zou","year":"1988","journal-title":"Research and Exposition in Mathematics"},{"key":"28","first-page":"448","article-title":"semantic interpretation of predicate calculus system of medium logic me* and its soundness and completeness [j]","volume":"34","author":"zou","year":"1989","journal-title":"Chinese Science Bulletin"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1989.37761"},{"key":"3","first-page":"137","article-title":"comment on professor wang hao's talk on negative to fuzzy logic[j]","volume":"3","author":"zhu","year":"1983","journal-title":"Research and Exposition in Mathematics"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/270524.270528"},{"key":"1","first-page":"723","volume":"7","year":"1984","journal-title":"Nature Magazine"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093891706"},{"key":"30","first-page":"620","article-title":"program, generic set: semantics of medium logic program described by forcing [j]","volume":"39","author":"zhu","year":"1996","journal-title":"Science in China (Series E)"},{"key":"6","first-page":"614","article-title":"set-valued set theory: part one [j]","volume":"15","author":"chapin","year":"1974","journal-title":"Journal of Formal Logic"},{"key":"5","first-page":"12","article-title":"the normal fuzzy set structures and the boolean_valued models[j]","volume":"2","author":"zhang jin-wen","year":"1979","journal-title":"Journal Of Huazhong"},{"key":"32","first-page":"75","article-title":"gentzen system of medium logic [c]","volume":"19","author":"lei","year":"1989","journal-title":"Proceedings of IEEE-The Nineteenth International Symposium on Multiple-Valued Logic"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(67)90189-8"},{"key":"31","first-page":"57","article-title":"zhou yi-shuan. \"model theoretic properties of medium logic[j]","volume":"24","author":"qian lei","year":"1992","journal-title":"Journal of NanJing University of Aeronautics and Astronautics"},{"year":"0","key":"70"},{"year":"0","key":"71"},{"key":"9","first-page":"43","article-title":"a survey of researches on the foundation of fuzzy mathematics [j]","volume":"9","author":"zhu","year":"1986","journal-title":"Nature Magazine"},{"key":"72","first-page":"54","article-title":"modern logic dictionary[m]","author":"yang","year":"1995","journal-title":"Chinese HuBei education"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(81)90080-4"},{"journal-title":"Chinese Hua Zhong University of science and technology pp 17-20 41-43","article-title":"modern mathematics manualvolume modern mathematics[m]","year":"2001","key":"73"},{"key":"74","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1989.37799"},{"key":"75","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(90)90092-K"},{"key":"76","first-page":"263","article-title":"theories and implementations of automated reasoning in medium logic(iii) : a theorem prover for medium logic [j]","volume":"7","author":"zhang","year":"1994","journal-title":"Pattern Recognition and Artificial Intelligence"},{"key":"59","first-page":"305","article-title":"studies on the equivalence between mp* and other 3-valued logics with complete contents of propositional connectives about their linguistic expressive power [j]","volume":"10","author":"gu","year":"2000","journal-title":"Journal of Mathematics"},{"key":"58","article-title":"a survey of the development of medium logic calculus system and the research of its semantic [a]","author":"xiao","year":"1990","journal-title":"A Friendly Collection of Mathematical Papers I[C]"},{"year":"0","key":"57"},{"key":"56","first-page":"414","article-title":"the characterization problem for the medium logic mp* & mf*[j]","volume":"55","author":"li","year":"1990","journal-title":"Journal of Symbolic Logic"},{"key":"19","first-page":"916","article-title":"comparison calculus system of medium logic[j]","volume":"8","author":"xiao","year":"1985","journal-title":"Nature Magazine"},{"key":"55","first-page":"329","article-title":"medium logic and woodruff's three-valued logic [j]","volume":"35","author":"li","year":"1990","journal-title":"Chinese Science Bulletin"},{"key":"17","first-page":"761","article-title":"an extension of the propositional calculus system, of medium, logic (ii)[j]","volume":"8","author":"zhu","year":"1985","journal-title":"Nature Magazine"},{"key":"18","first-page":"841","article-title":"an extension, of the predict calculus system of medium logic [j]","volume":"8","author":"zhu","year":"1985","journal-title":"Nature Magazine"},{"key":"15","first-page":"601","article-title":"the propositional calculus system of medium logic (ii)[j]","volume":"8","author":"xiao","year":"1985","journal-title":"Nature Magazine"},{"key":"16","first-page":"681","article-title":"an extension of the propositional calculus system of medium logic (i) [j]","volume":"8","author":"zhu","year":"1985","journal-title":"Nature Magazine"},{"key":"13","first-page":"473","article-title":"the propositional calculus system, of medium, logic (iii)[j]","volume":"8","author":"xiao","year":"1985","journal-title":"Nature Magazine"},{"key":"14","first-page":"540","article-title":"the propositional calculus system of medium, logic (i)[j]","volume":"8","author":"zhu","year":"1985","journal-title":"Nature Magazine"},{"key":"11","first-page":"315","article-title":"the propositional calculus system of medium logic (i)[j]","volume":"8","author":"xiao","year":"1985","journal-title":"Nature Magazine"},{"key":"12","first-page":"394","article-title":"the propositional calculus system of medium logic (ii)[j]","volume":"8","author":"xiao","year":"1985","journal-title":"Nature Magazine"},{"key":"21","first-page":"457466","article-title":"propositional calculus system of medium logie(ii)[j]","volume":"8","author":"xiao","year":"1988","journal-title":"Research and Exposition in Mathematics"},{"year":"0","key":"20"},{"year":"0","key":"64"},{"key":"65","doi-asserted-by":"crossref","first-page":"2495","DOI":"10.1109\/ICMLC.2004.1382223","article-title":"an interpretation of infinite valued for medium propositional logic [c]","volume":"4","author":"pan","year":"2004","journal-title":"Proceedings of 2004 International Conference on Machine Learning and Cybernetics"},{"key":"62","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1989.37762"},{"key":"63","first-page":"345","article-title":"- resolution of the medium predicate logic system[j]","volume":"14","author":"pan","year":"2003","journal-title":"Journal of Software"},{"key":"60","first-page":"28","article-title":"comparative studies of mp and those 3-valued logics with incomplete contents of propositional connectives with respect to linguistic expressive power [j]","volume":"15","author":"gu","year":"2001","journal-title":"Fuzzy Systems and Mathematics"},{"key":"61","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1989.37762"},{"key":"49","first-page":"873","article-title":"a system, of medium axiomatic set theory(v) - relations between ms and zfc[j]","volume":"9","author":"zhu","year":"1986","journal-title":"Chinese Journal of Nature"},{"key":"48","first-page":"794","article-title":"a system of medium axiomatic set theory(iv) - minor set and gigantic set[j]","volume":"9","author":"xiao","year":"1986","journal-title":"Chinese Journal of Nature"},{"key":"45","first-page":"554","article-title":"a system, of medium axiomatic set theory(i) - two kinds of description and definition for predicates[j]","volume":"9","author":"zhu","year":"1986","journal-title":"Chinese Journal of Nature"},{"key":"44","first-page":"144","article-title":"on medium logic mfm for incomplete information databases","volume":"28","author":"mao","year":"2001","journal-title":"Computer Science"},{"key":"47","first-page":"714","article-title":"a system of medium axiomatic set theory(iii) - predicates and sets[j]","volume":"9","author":"zhu","year":"1986","journal-title":"Chinese Journal of Nature"},{"key":"46","first-page":"632","article-title":"a system of medium axiomatic set theory(ii) - operations of sets[j]","volume":"9","author":"xiao","year":"1986","journal-title":"Chinese Journal of Nature"},{"journal-title":"Essentials of mathematical foundation [M]","year":"1996","author":"zhu","key":"10"},{"key":"51","first-page":"3","article-title":"from naive set theory and modern axiomatic theory to medium axiomatic set theory [j]","volume":"10","author":"zhu","year":"1987","journal-title":"Chinese Journal of Nature"},{"key":"52","first-page":"149","article-title":"reply to medium mathematics systems don't include classical mathematics and others[j]","volume":"9","author":"zhu","year":"1989","journal-title":"Research and Exposition in Mathematics"},{"key":"53","first-page":"649","article-title":"medium mathematics systems don't include classical mathematics[j]","volume":"8","author":"zhu shui-lin","year":"1988","journal-title":"Research and Exposition in Mathematics"},{"key":"54","first-page":"1686","article-title":"the characterization problem for the medium logic[j]","volume":"33","author":"li","year":"1988","journal-title":"Chinese Science Bulletin"},{"key":"50","first-page":"948","article-title":"a system of medium axiomatic set theory(vi) - the explanation of logic mathematics paradoxes in ms[j]","volume":"9","author":"xiao","year":"1986","journal-title":"Chinese Journal of Nature"}],"event":{"name":"2008 IEEE 16th International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2008,6,1]]},"location":"Hong Kong, China","end":{"date-parts":[[2008,6,6]]}},"container-title":["2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4625776\/4630333\/04630419.pdf?arnumber=4630419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:05:46Z","timestamp":1497773146000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4630419\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":80,"URL":"https:\/\/doi.org\/10.1109\/fuzzy.2008.4630419","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}