课题基金 / 基金详情

A categorical generalization of models for modal logics

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
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18740062/
关键词：
Heyting代数Kripkeモデル非古典論理canonical formula直観主義論理Kripkeフレーム双対性数理論理連続写像Canonical formulaJankovの定理無限論理代数モデル様相論理

项目摘要

项目成果

TANAKA Yoshihito的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Subdirectly irreducibleな有限Heyting代数におけるJankovの定理から,有限という条件を外し,ある一定の条件を満たすsudirectly irreducible Heyting代数への拡張を行った.また,有限Kripke frameにおけるcanonical formulaの理論を,一般のKripke frameに拡張した.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
An extension of canonical formulas
规范公式的扩展
DOI： --
发表时间： 2007
期刊：
影响因子： --
作者： [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
影响因子： --
作者： [長藤かおり, 石井豊, Kaori Nagaotu, Kaori Nagatou, Yoshihito Tanaka]
通讯作者： Yoshihito Tanaka
Continuous homomorphisms of Heyting algebras
Heyting 代数的连续同态
DOI： --
发表时间： 2007
期刊： Proceedings of the 506^<th> MLG meeting
影响因子： --
作者： [長藤かおり, 石井豊, Kaori Nagaotu, Kaori Nagatou, Yoshihito Tanaka, Yoshihito Tanaka, Yoshihito Tanaka]
通讯作者： Yoshihito Tanaka
An infinitary extension of Jankov' s theorem
扬可夫定理的无限扩展
DOI： --
发表时间：
期刊： Studia Logica (受理済)
影响因子： --
作者： [長藤かおり, 石井豊, Kaori Nagaotu, Kaori Nagatou, Yoshihito Tanaka, Yoshihito Tanaka, Yoshihito Tanaka, Yoshihito Tanaka, Yoshihito Tanaka]
通讯作者： Yoshihito Tanaka
Development of fiber optics for brilliant X-ray beam
  • 批准号：
    24651109
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $2.5万
  • 财政年份：
    2012
  • 负责人：
    TANAKA Yoshihito
  • 依托单位：
    Institute of Physical and Chemical Research
Time-resolved X-ray diffractometry of organic crystals by using synchrotron radiation
  • 批准号：
    16072218
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $16.83万
  • 财政年份：
    2004
  • 负责人：
    TANAKA Yoshihito
  • 依托单位：
    The Institute of Physical and Chemical Research
Surface "element" imaging by a new scanning probe microscopy
Investigation of energetic particle environments in the plasmasphere
  • 批准号：
    08680507
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $1.28万
  • 财政年份：
    1996
  • 负责人：
    TANAKA Yoshihito
  • 依托单位：
    Yamaguchi University