咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 2 篇 直觉主义逻辑
  • 2 篇 结构规则
  • 2 篇 线性片段
  • 2 篇 相干逻辑
  • 2 篇 bck片段
  • 1 篇 择类语义
  • 1 篇 一般弱框架
  • 1 篇 一般弱框架择类语...

机构

  • 1 篇 华东师范大学

作者

  • 2 篇 冯棉

语言

  • 2 篇 中文
检索条件"主题词=BCK片段"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
一类命题逻辑的一般弱框架择类语义
收藏
分享
引用
逻辑学研究 2011年 第2期4卷 20-34页
作者： 冯棉 华东师范大学哲学系
命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是:采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应关系,可以从整体上处理一类逻辑,具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑,包括相干逻辑... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一类命题逻辑的一般弱框架择类语义
收藏
分享
引用
逻辑 2011年 第4期 20-34页
作者： 冯棉
命题逻辑的一般弱框架择类语义是相干邻域语义的变形，其特点是：采用择类运算来刻画逻辑常项；语义运算与逻辑联结词之间有清晰的对应关系，可以从整体上处理一类逻辑，具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑，包括相... 详细信息
来源： 人大复印报刊资料 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件