刷新
{{item.name}}会员
Reconstruction of algebraic semantics for non-classical predicate logics
非经典谓词逻辑的代数语义重构
基本信息
- 批准号：24540120
- 负责人：
- 金额：$ 3.08万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
中間述語論理におけるExistence Propertyに関する話題
有关中间谓词逻辑中的存在性的主题
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：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：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：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
- 期刊：
- 影响因子：0
- 作者：HIBIKI;Akira;Shunsuke MANAGI;松田康博;秋山靖浩;N. Suzuki
- 通讯作者：N. Suzuki
The Occurrence of π Molecular Orbitals in Planar Boron Clusters
平面硼团簇中 π 分子轨道的出现
- DOI：10.1246/bcsj.20110203
- 发表时间：2012
- 期刊：
- 影响因子：4
- 作者：Y. Nakagami;N.-Y. Suzuki;R. Sekine;T. Matsuura and J. Aihara
- 通讯作者：T. Matsuura and J. Aihara
Axiom schema of Markov's principle preserves disjunction and existence properties
马尔可夫原理的公理模式保留析取和存在性质
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Y. Nakagami;N.-Y. Suzuki;R. Sekine;T. Matsuura and J. Aihara;鈴木信行;鈴木信行;Nobu-Yuki Suzuki;鈴木信行;Nobu-Yuki Suzuki;鈴木信行;鈴木信行;鈴木信行;Nobu-Yuki Suzuki
- 通讯作者：Nobu-Yuki Suzuki
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
Suzuki Nobu-Yuki其他文献
太平洋戦争末期の海軍における政軍関係・総力戦研究
太平洋战争末期海军政治军事关系与全面战争研究
- DOI：
10.20816/jalps.57.0_229 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
小林誉明（大森佐和・西村幹子編）;西田充;西平等;Kyoko Hatakeyama;Suzuki Nobu-Yuki;筒井淳也;山田満;玉木寛輝 - 通讯作者：
玉木寛輝
Intercultural Contact and its Effect on the Image of “Foreigners” in Host Society: Case Study of the German POWs in Japan during WWI
跨文化接触及其对所在社会“外国人”形象的影响：第一次世界大战期间在日本的德国战俘案例研究
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Smith L. Vanessa;Tarui Nori;Yamagata Takashi;Mayama Akira;Suzuki Nobu-Yuki;Katsuhiko Kajiwara - 通讯作者：
Katsuhiko Kajiwara
家事負担の軽減や、家事のアウトソーシング、現状や課題、今後の方向性について
减轻家务负担、外包家务、现状、挑战及未来方向
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
小林誉明（大森佐和・西村幹子編）;西田充;西平等;Kyoko Hatakeyama;Suzuki Nobu-Yuki;筒井淳也 - 通讯作者：
筒井淳也
Imaginaries in generic structures
通用结构中的虚数
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Bono Nanami;Fujii Maya;Maruta Tatsuya;奈良知惠;S. Saitoh;Y. Imamura;Suzuki Nobu-Yuki;Koichiro Ikeda - 通讯作者：
Koichiro Ikeda
平成史講義
平成历史讲座
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Abizaid;C.;O.T. Coomes;L. Johnson;M. Lapointe;M. Kalacska;and Y. Takasaki;渡部敏明;青木千咲・下分淳矢・米康充;藤原帰一;森久智江;須網隆夫( 大坂恵理と共著);島村恭則;Suzuki Nobu-Yuki;吉見俊哉（編著） - 通讯作者：
吉見俊哉（編著）
Suzuki Nobu-Yuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Suzuki Nobu-Yuki', 18)}}的其他基金
Understanding constructivity from the perspective of intermediate predicate logics
从中间谓词逻辑的角度理解构造性
- 批准号：
16K05252 - 财政年份：2016
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)