形式系统L*中极大相容逻辑理论的拓扑刻画

您当前的位置：

首页 >

文章列表页 >

形式系统L^*中极大相容逻辑理论的拓扑刻画

科研通信 | 更新时间：2025-07-16

上一篇|下一篇

- 形式系统L^*中极大相容逻辑理论的拓扑刻画
- Topological Characterizations of Maximally Consistent Theories in the Formal Deductive System L^*
- 周红军
- 电子学报 2011年39卷第12期页码：2895-2899
- 作者机构：
  1. 陕西师范大学数学与信息科学学院,陕西,西安,710062
  2. 陕西师范大学数学与信息科学学院陕西西安,710062
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61005046);教育部高等学校博士学科点专项科研基金 (No.20100202120012);陕西省自然科学基础研究计划 (No.2010JQ8020);中央高校基本科研业务费专项资金 (No.GK200902048)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

73

浏览量

1088

下载量

3

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

基于慢波微同轴的紧凑型开关线式真时延单元

基于梯度优化的AFDM-ISAC波形高精度感知算法

CloAct：基于克隆关系和模体的关键类识别方法

低轨卫星网络自适应随机接入研究

一种加载介质钉层的宽角低扫描损耗毫米波双极化相控阵

相关作者

暂无数据

相关机构

暂无数据