课题基金 / 基金详情

States on non-commutative residuated lattices

States on non-commutative residuated lattices
非交换剩余格上的状态
批准号：
15K00024
负责人：
KONDO Michiro
金额：
$2.33万
依托单位：
Tokyo Denki University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00024/
关键词：
residuated latticestatestate 剰余束state 演算子非可換剰余束derivation特徴付け定理

项目摘要

项目成果

KONDO Michiro的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
剰余束上のreticulation について
关于剩余束的网状化
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Hiroaki Anada, Sushmita Ruj, Kouichi Sakurai, 近藤通朗]
通讯作者： 近藤通朗
An Algebraic Aspect of Correspondences Between Implicational Fragment Logics and Fuzzy Logics
蕴涵片段逻辑与模糊逻辑对应的代数方面
DOI： --
发表时间： 2015
期刊： Journal of Advanced Computational Intelligence and Intelligent Informatics
影响因子： 0.7
作者： [Chunlu Chen, Hiroaki Anada, Junpei Kawamoto, Kouichi Sakurai, 武田友希，楫勇一，伊藤実, M. F. Kawaguchi and M.Kondo]
通讯作者： M. F. Kawaguchi and M.Kondo
Multiplicative derivations of commutative residuated lattices
交换剩余格的乘法导数
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Chunlu Chen, Hiroaki Anada, Junpei Kawamoto, Kouichi Sakurai, M. Kodno, Michiro Kondo]
通讯作者： Michiro Kondo
Note on derivations of lattices
关于格的推导的注释
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Chunlu Chen, Hiroaki Anada, Junpei Kawamoto, Kouichi Sakurai, M. Kodno]
通讯作者： M. Kodno
共 15 条
    Substructural logic with Galois connection
    • 批准号：
      24500024
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.25万
    • 财政年份：
      2012
    • 负责人：
      KONDO Michiro
    • 依托单位：
      Tokyo Denki University
    Algebraic semantics for logic programs with negation
    • 批准号：
      15500016
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.54万
    • 财政年份：
      2003
    • 负责人：
      KONDO Michiro
    • 依托单位：
      Tokyo Denki University
    国内基金
    海外基金
    Simulation and certification of the ground state of many-body systems on quantum simulators
    • 批准号：
      --
    • 项目类别：
      --
    • 资助金额：
      40万元
    • 批准年份：
      2020
    • 负责人：
      Abolfazl Bayat
    • 依托单位：
      电子科技大学
    Cortical control of internal state in the insular cortex-claustrum region
    微波有源Scattering dark state粒子的理论及应用研究
    • 批准号：
      61701437
    • 项目类别：
      青年科学基金项目
    • 资助金额：
      28.0万元
    • 批准年份：
      2017
    • 负责人：
      李欢
    • 依托单位：
      浙江大学
    超导量子器件中关于量子计算、电路量子电动力学和退相干的研究
    • 批准号：
      11174248
    • 项目类别：
      面上项目
    • 资助金额：
      75.0万元
    • 批准年份：
      2011
    • 负责人：
      王浩华
    • 依托单位：
      浙江大学