Computer Science ›› 2018, Vol. 45 ›› Issue (6A): 69-71.
• Intelligent Computing • Previous Articles Next Articles
WU Mei-hua,WANG Yong-jun,YANG Yi-chuan,WANG Xiao-yang
CLC Number:
[1]千红.罗素悖论与数学危机[J].中国科技纵横,2002(10):138-140. [2]MARCHAL B.Theoretical computer science and the natural sciences[J].Physics of Life Reviews,2005,2(4):251-289. [3]张建军.逻辑悖论研究引论[M].北京:人民出版社,2014:. [4]KRIPKE S A.Outline of a Theory of Truth[J].Journal of Philosophy,1975,72(19):690-716. [5]YANOFSKY N S.Computability and Complexity of Categorical Structures[OL].http://www.researchgate.net/publication/280243417_Computability_and_Complexity_of_Categorical_Structures. [6]YANOFSKY N S.A Universal Approach to Self-Referential Paradoxes,Incompleteness and Fixed Points[J].Bulletin of Symbolic Logic,2003,9(3):362-386. [7]YUKALOV V I,SORNETTE D.Mathematical basis of quantum decision theory[J].Swiss Finance Institute Research Paper,2008(08-25):1-37. [8]AERTS D,GABORA L,SOZZO S,et al.Quantum Structure in Cognition:Fundamentals and Applications[J].ComputerScien-ce,2011,53(5):314-348. [9]YABLO S.Paradox without Self-Reference[J].Analysis,1993,53(4):251-252. [10]PRIEST G.The Structure of the Paradoxes of Self-Reference [J].Mind,1994,103(409):25-34. [11]SMITH N.The principle of uniform solution (of the paradoxes of self-reference)[J].Mind,2000,109(433):117-122. [12]PARENT T.Paradox with just self-reference[J/OL].http://www.unc.edu/~tparent/d.pdf. [13]杨义川,王拥军.《数理逻辑与集合论》中的对角化原则[J].大学数学,2017,33(1):109-113. [14]ABRAMSKY S,TZEVELEKOS N.Introduction to Categories and Categorical Logic[M]∥Introduction to higher order categorical logic.Cambridge University Press,2011:3-94. |
[1] | YU Shan-shan, SU Jin-dian and YI Fa-ling. Descriptions for Ontologies Based on Category Theory [J]. Computer Science, 2016, 43(5): 42-46. |
[2] | SU Jin-dian. Survey on Categorical Data Type in Computer Science [J]. Computer Science, 2016, 43(10): 9-18. |
[3] | MIAO De-cheng, XI Jian-qing and SU Jin-dian. Category Theoretical Method of Inductive Data Types [J]. Computer Science, 2015, 42(6): 8-11. |
[4] | CHEN Zhi-yuan,HUANG Shao-bin and HAN Li-li. Research on Applications of Modern Modal Logic in Computer Science [J]. Computer Science, 2013, 40(Z6): 70-76. |
[5] | . Formalizing Geo-ontology Alignment and Integration Based on Category Theory [J]. Computer Science, 2012, 39(7): 242-244. |
[6] | ZHOU Li 1i , LI Fan-zhang. Data Dimension Reduction Based on Category Theory [J]. Computer Science, 2011, 38(9): 242-244. |
[7] | SU Jin-dian,YU Shan-shan. Comonad Theory and its Applications in Functional Programming Language Haskell [J]. Computer Science, 2011, 38(7): 144-147. |
[8] | WANG Jin-quan,ZHENG Yu-jun. Category Theoretic Framework of Multi-language Program Generation [J]. Computer Science, 2011, 38(4): 185-187. |
[9] | SU Jin-dian,YU Shan-shan. Coinductive Data Types and their Applications in Programming Languages [J]. Computer Science, 2011, 38(11): 114-118. |
[10] | LIU Chao,WANG Wen-jie. Research on Hamiltonian Cycle Based on Path with Interface [J]. Computer Science, 2010, 37(9): 252-256. |
[11] | LIANG Zheng-ping, MING Zhong,WU Guo-qing. Research on Integration Process of Viewpoints in Viewpoint-oriented Requirements Engineering [J]. Computer Science, 2009, 36(8): 138-144. |
[12] | ZHANG Yuan ,LI Shi-Xian (Department of Computer,Sun yat-sen University,Guangzhou 510275). [J]. Computer Science, 2006, 33(9): 1-3. |
[13] | Xiong Wei;Ju ShiEr;Luo XuDong. [J]. Computer Science, 2005, 32(8): 145-146. |
|