A categorical generalization of models for modal logics

模态逻辑模型的分类概括

基本信息

  • 批准号：
    18740062
  • 负责人：
    TANAKA Yoshihito
  • 金额：
    $ 1.96万
  • 依托单位：
    Kyushu Sangyo University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 财政年份：
    2006
  • 资助国家：
    日本
  • 起止时间：
    2006 至 2008
  • 项目状态：
    已结题

项目摘要

Subdirectly irreducibleな有限Heyting代数におけるJankovの定理から,有限という条件を外し,ある一定の条件を満たすsudirectly irreducible Heyting代数への拡張を行った.また,有限Kripke frameにおけるcanonical formulaの理論を,一般のKripke frameに拡張した.
Subdirectly irreducible finite Heyting Algebra, finite Heyting Algebra, Jankov Theorem, finite condition, definite condition, sudirectly irreducible Heyting Algebra, Row Theorem. Limited Kripke frame theory, limited canonical formula theory, general Kripke frame theory.

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
An extension of canonical formulas
规范公式的扩展
  • DOI：
  • 发表时间：
    2007
  • 期刊：
  • 影响因子：
    0
  • 作者：
    N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕;宮崎 裕;Y. Miyazaki;Y. Miyazaki;Nikolaos Galatos;Nikolaos Galatos;Yutaka Miyazaki;Yutaka Miyazaki;小野 寛晰;H. Ono;田中 義人
  • 通讯作者：
    田中 義人
Extensions of canonical formulas for Heyting algebras and intuitionistic frames
Heyting 代数和直觉框架的规范公式的扩展
  • DOI：
  • 发表时间：
    2008
  • 期刊：
    Proceedings of the 42nd MLG meeting
  • 影响因子：
    0
  • 作者：
    長藤かおり;石井豊;Kaori Nagaotu;Kaori Nagatou;Yoshihito Tanaka
  • 通讯作者：
    Yoshihito Tanaka
Continuous homomorphisms of Heyting algebras
Heyting 代数的连续同态
  • DOI：
  • 发表时间：
    2007
  • 期刊：
    Proceedings of the 506^<th> MLG meeting
  • 影响因子：
    0
  • 作者：
    長藤かおり;石井豊;Kaori Nagaotu;Kaori Nagatou;Yoshihito Tanaka;Yoshihito Tanaka;Yoshihito Tanaka
  • 通讯作者：
    Yoshihito Tanaka
An infinitary extension of Jankov' s theorem
扬可夫定理的无限扩展
  • DOI：
  • 发表时间：
  • 期刊：
    Studia Logica (受理済)
  • 影响因子：
    0
  • 作者：
    長藤かおり;石井豊;Kaori Nagaotu;Kaori Nagatou;Yoshihito Tanaka;Yoshihito Tanaka;Yoshihito Tanaka;Yoshihito Tanaka;Yoshihito Tanaka
  • 通讯作者：
    Yoshihito Tanaka
Nobu-Yuki Suzuki and Yoshihito Tanaka, Proceedings of the 42nd MLG meeting, 2008
Nobu-Yuki Suzuki 和 Yoshihito Tanaka，第 42 届 MLG 会议记录，2008 年
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

TANAKA Yoshihito其他文献

EVALUATION OF TSUNAMI OBSERVATION PERFORMANCE OF OCEANOGRAHIC RADAR IN ENSHU-NADA - STUDY BY USING VIRTUAL TSUNAMI OBSERVATION EXPERIMENT -
远州滩海洋雷达海啸观测性能评估——虚拟海啸观测实验研究——
EXAMINATION FOR EVALUATION METHOD OF COLLISION PROBABILITY OF TSUNAMI DEBRIS USING NUMERICAL CALCULATION
海啸碎片碰撞概率评价方法的数值计算检验

TANAKA Yoshihito的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('TANAKA Yoshihito', 18)}}的其他基金

Development of fiber optics for brilliant X-ray beam
开发用于明亮 X 射线束的光纤
  • 批准号：
    24651109
  • 财政年份：
    2012
  • 资助金额：
    $ 1.96万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Time-resolved X-ray diffractometry of organic crystals by using synchrotron radiation
使用同步辐射对有机晶体进行时间分辨 X 射线衍射
  • 批准号：
    16072218
  • 财政年份：
    2004
  • 资助金额：
    $ 1.96万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
Surface "element" imaging by a new scanning probe microscopy
通过新型扫描探针显微镜进行表面“元素”成像
  • 批准号：
    13650476
  • 财政年份：
    2001
  • 资助金额：
    $ 1.96万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Investigation of energetic particle environments in the plasmasphere
等离子体层中高能粒子环境的研究
  • 批准号：
    08680507
  • 财政年份：
    1996
  • 资助金额：
    $ 1.96万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Solar Wind Energy Transfer into the lnner Magnetosphere
太阳风能转移到内磁层
  • 批准号：
    05041060
  • 财政年份：
    1993
  • 资助金额：
    $ 1.96万
  • 项目类别：
    Grant-in-Aid for international Scientific Research
Studies on the generation and propagation chracteristics of magnetospheric plasma waves in the inner plasmasphere based on the conjugate observations in Australia and Japan
基于澳大利亚和日本共轭观测的磁层等离子体波内层等离子体波产生和传播特性研究
  • 批准号：
    62043037
  • 财政年份：
    1986
  • 资助金额：
    $ 1.96万
  • 项目类别：
    Grant-in-Aid for Overseas Scientific Research
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了