您的位置： 专家智库 > >

徐秋华

作品数：2 被引量：1H指数：1
供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇哲学宗教

主题

  • 1篇条件句
  • 1篇逻辑
  • 1篇刻画

机构

  • 2篇中山大学
  • 1篇厦门大学

作者

  • 2篇李小五
  • 2篇徐秋华
  • 1篇刘佳秋
  • 1篇郭向阳

传媒

  • 1篇厦门大学学报...
  • 1篇暨南大学学报...

年份

  • 1篇2009
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一个适于更新语义的涉景条件句逻辑
2008年
传统条件句逻辑研究的条件句没有明显提述条件句的背景.本文提出了一种明显提述背景的条件句逻辑BCS,并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性.
李小五郭向阳徐秋华
一个刻画强否定的模态系统及其性质被引量：1
2009年
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如,禁自返相对于我们的语义是模态可定义的。
李小五刘佳秋徐秋华
全选 清除 导出
共1页<1>
聚类工具0