Understanding constructivity from the perspective of intermediate predicate logics
Understanding constructivity from the perspective of intermediate predicate logics
从中间谓词逻辑的角度理解构造性
批准号：
16K05252
负责人：
Suzuki Nobu-Yuki
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1017/s1755020319000029
发表时间：
2019
期刊：
The Review of Symbolic Logic
影响因子：
--
作者：
[HU TAI-WEI, KANEKO MAMORU, SUZUKI NOBU-YUKI]
通讯作者：
SUZUKI NOBU-YUKI
Omniscience principlesに関する中間述語論理からの注意
关于全知原理的中级谓词逻辑注释
关于全知原理的中级谓词逻辑注释
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Iwasaki, Ichiro; Mizobata, Satoshi; Muravyev, Alexander, 山内雄太・大森裕浩, 米村圭一郎・松本猛秀・四辻裕文・喜多秀行, 山﨑 孝史, 鈴木 信行]
通讯作者：
鈴木 信行
中間述語論理におけるdisjunction propertyとexistence propertyのいくつかの弱い変種について
中间谓词逻辑中析取和存在性质的一些弱变体
中间谓词逻辑中析取和存在性质的一些弱变体
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[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
影响因子：
--
作者：
[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 范式定理备忘录
超直观谓词逻辑中的 Prenex 范式定理备忘录
DOI：
--
发表时间：
2022
期刊：
京都大学数理解析研究所講究録
影响因子：
--
作者：
[Kojima Fuhito, Sun Ning, Yu Ning Neil, 清水崇, 西平等, Yumi NAKAYAMA, 滝澤三郎, 小川浩之, 西田充, 鈴木 信行]
通讯作者：
鈴木 信行
共 23 条
Reconstruction of algebraic semantics for non-classical predicate logics
-
批准号：24540120
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.08万
-
财政年份：2012
-
负责人：Suzuki Nobu-Yuki
-
依托单位：
海外基金