权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Understanding constructivity from the perspective of intermediate predicate logics

从中间谓词逻辑的角度理解构造性

基本信息

批准号：
16K05252
负责人：
Suzuki Nobu-Yuki
金额：
$ 2.75万
依托单位：
Shizuoka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
起止时间：
2016-04-01 至 2022-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

SMALL INFINITARY EPISTEMIC LOGICS

小无限认知逻辑

DOI：
10.1017/s1755020319000029
发表时间：
2019
期刊：
The Review of Symbolic Logic
影响因子：
0
作者：
HU TAI-WEI;KANEKO MAMORU;SUZUKI NOBU-YUKI
通讯作者：
SUZUKI NOBU-YUKI

Omniscience principlesに関する中間述語論理からの注意

关于全知原理的中级谓词逻辑注释

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Iwasaki;Ichiro; Mizobata;Satoshi; Muravyev;Alexander;山内雄太・大森裕浩;米村圭一郎・松本猛秀・四辻裕文・喜多秀行;山﨑　孝史;鈴木信行
通讯作者：
鈴木信行

中間述語論理におけるdisjunction propertyとexistence propertyのいくつかの弱い変種について

中间谓词逻辑中析取和存在性质的一些弱变体

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Y. Nakagami;N.-Y. Suzuki;R. Sekine;T. Matsuura and J. Aihara;鈴木信行;鈴木信行;Nobu-Yuki Suzuki;鈴木信行
通讯作者：
鈴木信行

Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

中间谓词逻辑中存在性和析取性的一些弱变体

DOI：
10.18778/0138-0680.46.1.2.08
发表时间：
2017
期刊：
Bulletin of the Section of Logic
影响因子：
0
作者：
Abizaid;C.;O.T. Coomes;L. Johnson;M. Lapointe;M. Kalacska;and Y. Takasaki;渡部敏明;青木千咲・下分淳矢・米康充;藤原帰一;森久智江;須網隆夫( 大坂恵理と共著);島村恭則;Suzuki Nobu-Yuki
通讯作者：
Suzuki Nobu-Yuki

超直観主義述語論理における Prenex normal form theorem に関する覚書

超直观谓词逻辑中的 Prenex 范式定理备忘录

DOI：
发表时间：
2022
期刊：
京都大学数理解析研究所講究録
影响因子：
0
作者：
Kojima Fuhito;Sun Ning;Yu Ning Neil;清水崇;西平等;Yumi NAKAYAMA;滝澤三郎;小川浩之;西田充;鈴木信行
通讯作者：
鈴木信行

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Suzuki Nobu-Yuki其他文献

太平洋戦争末期の海軍における政軍関係・総力戦研究

太平洋战争末期海军政治军事关系与全面战争研究

DOI：
10.20816/jalps.57.0_229
发表时间：
2021
期刊：
The Japanese Journal of Law and Political Science
影响因子：
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;吉見俊哉（編著）
通讯作者：
吉見俊哉（編著）