Institutions of Variable Truth Values:An Approach in the Ordered Style 被引量：1

Institutions of Variable Truth Values:An Approach in the Ordered Style

导出

摘要 The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished. The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.

作者应明生

出处《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第3期267-273,共7页 计算机科学技术学报（英文版）

关键词 Methodology of software engineering abstract model theory many-valued logic Methodology of software engineering,abstract model theory,many-valued logic

分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献2

1应明生，Zeitschrift Math Logik und Grundlagen d Math，1992年，38卷，521页
2应明生，Zeitschrift Math Logik und Grundlagen d Math，1982年，38卷，197页

同被引文献7

1应明生.Institution中合并理论的初始与终结语义[J].软件学报,1996,7(6):360-360. 被引量：4
2Goguen J A,Burstall R M.Institutions:abstract model theory for specification and programming[J].Journal of the Association for Computing Machinery, 1992 ;39(1) :95～146.
3Diaconescu R,Goguen J ,Stefaneas P.Logical support for modularization[M].Logical Enviroments (Edinburg, 1991 ), Cambridge Unversity Press, 1993:83～130.
4Sannella D,Tarlecki A.Specifications in an Arbitrary Institution[J].Information and Computation,1988;76:165～210.
5Diaconescu R.Completeness of category-based equational deduction[J].Math Struct in Comp Science, 1995; 5:9～40.
6应明生.Institution中自由理论态射的合成[J].软件学报,1997,8(8):636-640. 被引量：6
7刘富春.Institution中自由合并理论的初始与终结语义[J].软件学报,1999,10(2):197-200. 被引量：6

引证文献1

1刘富春.适用于程序规范说明的Institution范畴的完备性研究[J].计算机工程与应用,2005,41(7):64-66.

1Yang Jie Shi Pengfei (Institute of Image Processing and Pattern Recognition).NONMONOTONIC　TRUTH　MAINTENANCE　SYSTEMS[J].Journal of Shanghai Jiaotong university(Science),1996,1(1):83-87.
2Tesfaye Demissie,Chukunoye E. Ochonogor,Temechegn Engida.Pedagogy-Based-Technology and Chemistry Students＇ Performance in Higher Institutions： A Case of Debre Berhan University[J].US-China Education Review(A),2011,1(5X):602-611.
3杨杰,黄欣,陆正刚.HYBRID STRATIFIED ATMS AND ANN FOR CASE-BASED REASONING[J].Journal of Shanghai Jiaotong university(Science),1999,4(1):18-23.
4潘小东,徐扬.Linguistic Truth Values Lattice Implication Algebras[J].Journal of Donghua University(English Edition),2006,23(6):101-104.
5杨杰,凌旭峰,杨勇.THE RELATIONS BETWEEN NONMONOTONIC TRUTH MAIN-TENANCE AND NONMONOTONIC LOGICS[J].Journal of Shanghai Jiaotong university(Science),1999,4(1):24-28.
6黄振华.Institution框架下的结构化标记共变-逆变模拟[J].计算机应用与软件,2016,33(2):197-202.
7SHEN Shi-kai WANG Wu HONG Sun-yan.A study of the employment of higher institutions based on the decision tree model[J].通讯和计算机（中英文版）,2008,5(10):28-32. 被引量：1
8听，时间的记忆[J].数码设计（surface）,2009(1):228-229.
9Rabelani Dagada.The Role of Development Finance Institutions in Funding Telecommunications Projects in the Public Sector in South Africa[J].通讯和计算机（中英文版）,2011,8(9):731-743.
10王继奎,李少波.多数据源冲突的主数据真值发现算法[J].计算机工程与设计,2014,35(1):177-182. 被引量：8

Journal of Computer Science & Technology

1995年第3期

浏览历史

内容加载中请稍等...

Institutions of Variable Truth Values:An Approach in the Ordered Style 被引量：1

参考文献2

同被引文献7

引证文献1

相关作者

相关机构

相关主题

浏览历史