行业报告详情 - 行业报告数据库

行业分类

▶ 农、林、牧、渔业
5397 篇
▶ 采矿业
13910 篇
▶ 制造业
478030 篇
- 农副食品加工业
  2802 篇
- 食品制造业
  53223 篇
- 酒、饮料和精制茶制造业
  2386 篇
- 烟草制品业
  727 篇
- 纺织业
  24298 篇
- 纺织服装、服饰业
  1411 篇
- 皮革、毛皮、羽毛及其制品和制鞋业
  220 篇
- 木材加工和木、竹、藤、棕、草制品业
  424 篇
- 家具制造业
  714 篇
- 造纸和纸制品业
  1485 篇
- 印刷和记录媒介复制业
  231 篇
- 文教、工美、体育和娱乐用品制造业
  232 篇
- 石油加工、炼焦和核燃料加工业
  51412 篇
- 化学原料和化学制品制造业
  66079 篇
- 医药制造业
  33876 篇
- 化学纤维制造业
  551 篇
- 橡胶和塑料制品业
  2220 篇
- 非金属矿物制品业
  8793 篇
- 黑色金属冶炼和压延加工业
  18990 篇
- 有色金属冶炼和压延加工业
  2135 篇
- 金属制品业
  8444 篇
- 通用设备制造业
  59623 篇
- 专用设备制造业
  60501 篇
- 汽车制造业
  99832 篇
- 铁路、船舶、航空航天和其他运输设备制造业
  2192 篇
- 电气机械和器材制造业
  24015 篇
- 计算机、通信和其他电子设备制造业
  71052 篇
- 仪器仪表制造业
  2955 篇
- 其他制造业
  613 篇
- 废弃资源综合利用业
  132 篇
- 金属制品、机械和设备修理业
  433 篇
▶ 电力、热力、燃气及水生产和供应业
16306 篇
▶ 建筑业
11769 篇
▶ 批发和零售业
3941 篇
▶ 交通运输、仓储和邮政业
6548 篇
▶ 住宿和餐饮业
1253 篇
▶ 信息传输、软件和信息技术服务业
75650 篇
▶ 金融业
37902 篇
▶ 房地产业
12167 篇
▶ 租赁和商务服务业
1665 篇
▶ 科学研究和技术服务业
2867 篇
▶ 水利、环境和公共设施管理业
3421 篇
▶ 居民服务、修理和其他服务业
641 篇
▶ 教育
1241 篇
▶ 卫生和社会工作
1979 篇
▶ 文化、体育和娱乐业
4921 篇
▶ 公共管理、社会保障和社会组织
3875 篇
▶ 综合
5488 篇

找到报告 1 篇当前为第 1 页共 1 页

模态逻辑S4的覆盖语义及其完备性

作者：于海；詹婉荣；张瑞玲作者单位：洛阳师范学院数学科学学院,河南洛阳471022;洛阳师范学院信息技术学院,河南洛阳471022 加工时间：2014-07-15 信息来源：《电子学报》

关键词：模态逻辑；覆盖语义；Kripke语义；拓扑语义；完备性
摘要：基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexanrov拓扑语义是和谐一致的.

行业分类

友情链接

联系我们

QQ咨询

电话咨询

微信公众号

感谢访问