课题基金 / 基金详情

Reconstruction of algebraic semantics for non-classical predicate logics

Reconstruction of algebraic semantics for non-classical predicate logics
非经典谓词逻辑的代数语义重构
批准号：
24540120
负责人：
Suzuki Nobu-Yuki
金额：
$3.08万
依托单位：
Shizuoka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24540120/
关键词：
非古典論理代数的意味論述語論理クリプキ意味論

项目摘要

项目成果

Suzuki Nobu-Yuki的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
中間述語論理におけるExistence Propertyに関する話題
有关中间谓词逻辑中的存在性的主题
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Y. Nakagami, N.-Y. Suzuki, R. Sekine, T. Matsuura and J. Aihara, 鈴木信行, 鈴木信行, Nobu-Yuki Suzuki, 鈴木信行, Nobu-Yuki Suzuki, 鈴木信行, 鈴木信行, 鈴木信行, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, 鈴木信行, Nobu-Yuki Suzuki, 鈴木信行]
通讯作者： 鈴木信行
Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics
浅谈小野的两个问题：超直觉谓词逻辑中的存在性和析取性
DOI： --
发表时间：
期刊：
影响因子： --
作者： [Y. Nakagami, N.-Y. Suzuki, R. Sekine, T. Matsuura and J. Aihara, 鈴木信行, 鈴木信行, Nobu-Yuki Suzuki, 鈴木信行, Nobu-Yuki Suzuki, 鈴木信行, 鈴木信行, 鈴木信行, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, 鈴木信行, Nobu-Yuki Suzuki, 鈴木信行, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, 鈴木信行, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, 鈴木信行, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki, Nobu-Yuki Suzuki]
通讯作者： Nobu-Yuki Suzuki
First-Order Intuitionistic Epistemic Logics Arising from Game Theory
源于博弈论的一阶直觉认识逻辑
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [HIBIKI, Akira, Shunsuke MANAGI, 松田康博, 秋山靖浩, N. Suzuki]
通讯作者： N. Suzuki
The Occurrence of π Molecular Orbitals in Planar Boron Clusters
平面硼团簇中 π 分子轨道的出现
DOI： 10.1246/bcsj.20110203
发表时间： 2012
期刊： Bulletin of the Chemical Society of Japan
影响因子： 4
作者： [Y. Nakagami, N.-Y. Suzuki, R. Sekine, T. Matsuura and J. Aihara]
通讯作者： T. Matsuura and J. Aihara
共 34 条
    Understanding constructivity from the perspective of intermediate predicate logics
    • 批准号：
      16K05252
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2016
    • 负责人：
      Suzuki Nobu-Yuki
    • 依托单位：
      Shizuoka University