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

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 理学
    • 1 篇 数学

主题

  • 2 篇 tableaux
  • 1 篇 combinatorics
  • 1 篇 3-valued logic
  • 1 篇 slo*
  • 1 篇 open-world assum...
  • 1 篇 normal modal log...
  • 1 篇 polynomials
  • 1 篇 root-patterns
  • 1 篇 partitions

机构

  • 1 篇 42 brighton stre...

作者

  • 1 篇 rex l. agacy

语言

  • 2 篇 英文
检索条件"主题词=Tableaux"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
tableaux for SLO and Its Three-Valued Normal Modal Logic
Tableaux for SLO and Its Three-Valued Normal Modal Logic
收藏
分享
引用
作者： Shier Ju & Jiahong Guo Institute of Logic and Cognition Zhongshan University, Guangzhou 510275, P.R.China hssjse@***, hssgjh@student.***
Ju et al. construct a 3-valued sentential logic system (SLO) based on open-world assumption and its semantic theory in 2003. In this paper, we adopt the form of tableau proofs from Priest (2001), and
来源： cnki会议 评论
Root-Patterns to Algebrising Partitions
收藏
分享
引用
Advances in Pure Mathematics 2015年 第1期5卷 31-41页
作者： Rex L. Agacy 42 Brighton Street Gulliver Townsville Australia
The study of the confluences of the roots of a given set of polynomials—root-pattern problem— does not appear to have been considered. We examine the situation, which leads us on to Young tableaux and tableaux repre... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件