第3期 张金成：容纳矛盾逻辑系统与悖论 .213. 版社，1984. [9]桂起权，陈晓平.辩证逻辑形式化的研究纲领[J].云南 [2]桂起权.次协调逻辑与人工智能[M].武汉：武汉大学出 社会科学，1992(5)：4349. 版社，2002， [10]胡世华，陆钟万.数理逻辑基础[M].北京：科学出版 [3]傅章秀.几何基础[M].北京：北京师范大学出版社， 社，1981. 1984. [4]HAMILTON A G.Logic for mathematicians M].Cam- 作者简介： bridge,UK:Cambridge University Press,1978. 张金成，男，1966年生，主要研究方 [5]江泽涵.不动点类理论[].北京：科学出版社，2011. 向为悖论、容纳矛盾的逻辑、数学基础， [6]张奠宙，顾鹤荣.不动点定理[M].沈阳：辽宁教育出版 发表学术论文12篇. 社，1995. [7]汪芳庭.数学基础[M].北京：科学出版社，2001. [8]何华灿.泛逻辑学原理[M].北京：科学出版社，2001， The 10th IASTED International Conference on Signal Processing, Pattern Recognition and Applications 第10届IASTED信号处理，模式识别和应用国际会议 This conference will act as a major forum for intemational researchers and practitioners working in all areas of signal pro- cessing,pattern recognition and applications to present and observe the latest research,results,and ideas in these areas. All papers submitted to this conference will be double blind reviewed by at least two reviewers.Acceptance will be based primarily on originality and contribution. Papers submitted to this conference that have been revised to include new results and offer a unique contribution may be considered for possible publication in ACTA Press'intemational joumals (http://www.actapress.com/).For additional information about the submission of papers to joumals,please visit:http:/www.actapress.com/SubmissionInfo.aspx. The proceedings will be sent for indexing in the following:EI Compendex,Inspec,Google Scholar and Scopus. Important Deadlines Submissions Due:September 17,2012 Notification of Acceptance:November 1,2012 Final Manuscripts Due:November 15,2012 Registration Deadline:December 3,2012 Contact Us For more information,or to be placed on our mailing list,please contact: Add:IASTED Secretariat-SPPRA 2013 B6,Suite 101,Dieppe Avenue SW,Calgary,AB,Canada T3E 7J9 Tl:+1403-288-1195 Far:+1403-247-6851 E-mail:calgary@iasted.org Website:www.iasted.org