- 年份
- 2005（1）
- 2004（1）
- 1997（1）
- 1990（1）
- 更多...
- 核心收录
- 中国科学引文数据库(CSCD)（2）
- 中国人文社会科学引文数据库(CHSSCD)（1）
- 刊名
- 信阳师范学院学报（哲学社会科学版）（1）
- 北京师范大学学报：自然科学版（1）
- 数学杂志（1）
- 苏州科技学院学报(自然科学版)（1）
- 更多...
- 作者单位
- 南开大学（2）
- 武汉水利电力大学（1）
- 语种
- 汉语（4）
- 关键词
- 布尔值模型（4）
- 严格蕴涵系统（2）
- 协调性（2）
- 等价性（2）
- f－伴随（1）
- 二型类（1）
- 序量（1）
- 弱力迫（1）
- 模型论（1）
- 聚合公理系统（1）
- 更多...
- 作者
- 李娜（2）
- 栾静闻（1）
- 沈恩绍（1）
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 4 条结果
- 模态系统S4.1的协调性
- 模态系统P1的协调性CHSSCD
- 有限弱力迫的布尔值模型表示CSCD
- 聚合公理系统的布尔值模型CSCD