GTL的公理系统及其完备性期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

GTL的公理系统及其完备性

引用本文：	聂文龙,张师超.GTL的公理系统及其完备性[J].高技术通讯,1995,5(A01):23-25.

作者姓名：	聂文龙张师超

摘要：	给出了ＧＴＬ的公理，并证明了ＧＴＬ的公理是完备的。
关键词：	时态逻辑间断区间逻辑公理系统
本文献已被维普等数据库收录！