Proof theoretic and semantical study of Fregean Logic
弗雷格逻辑的证明理论和语义研究
基本信息
- 批准号：16K13150
- 负责人：
- 金额：$ 2.16万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2016
- 资助国家：日本
- 起止时间：2016-04-01 至 2019-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（9）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Gentle Introduction to the Omega-Rule: Part I
简单介绍欧米茄规则：第一部分
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：佐藤雅彦;Ryota Akiyoshi;Masahiko Sato;Masahiko Sato;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi
- 通讯作者：Ryota Akiyoshi
A common notation system for both lambda calculus and combinatory logic.
用于 lambda 演算和组合逻辑的通用表示法系统。
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：佐藤雅彦;Ryota Akiyoshi;Masahiko Sato;Masahiko Sato;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Masahiko Sato
- 通讯作者：Masahiko Sato
Gentle Introduction to the Omega-Rule: Part II
简单介绍欧米茄规则：第二部分
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi and Grigori Mints;Ryota Akiyoshi and Kazushige Terui;Ryota Akiyoshi and Yuta Takahashi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;秋吉亮太;秋吉亮太;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi
- 通讯作者：Ryota Akiyoshi
フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -
弗雷格哲学的现代意义——读野本一之《弗雷格哲学全集》——
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：上野哲平;小林夏野;秋光 純;佐藤雅彦
- 通讯作者：佐藤雅彦
A common notation system for the lambda calculus and combinatory logic
lambda 演算和组合逻辑的通用表示法系统
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：佐藤雅彦;Ryota Akiyoshi;Masahiko Sato;Masahiko Sato
- 通讯作者：Masahiko Sato
{{
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 }}
Sato Masahiko其他文献
Experimental Evaluation of Remanence Carriers Using the Microcoercivity‐Unblocking Temperature Diagram
使用微矫顽力-解锁温度图对剩磁载流子进行实验评估
- DOI：
10.1029/2019gc008534 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Sato Masahiko;Terada Takuma;Mochizuki Nobutatsu;Tsunakawa Hideo - 通讯作者：
Tsunakawa Hideo
Shock Remanent Magnetization Intensity and Stability Distributions of Single‐Domain Titanomagnetite‐Bearing Basalt Sample Under the Pressure Range of 0.1?10?GPa
0.1?10?GPa压力范围内含单畴钛磁铁矿玄武岩样品的冲击剩磁强度及稳定性分布
- DOI：
10.1029/2021gl092716 - 发表时间：
2021 - 期刊：
- 影响因子：5.2
- 作者：
Sato Masahiko;Kurosawa Kosuke;Kato Shota;Ushioda Masashi;Hasegawa Sunao - 通讯作者：
Hasegawa Sunao
Expression of Ganglioside Disialosyl Globopentaosyl Ceramide in Prostate Biopsy Specimens as a Predictive Marker for Recurrence after Radical Prostatectomy
前列腺活检标本中神经节苷脂二唾液酸基神经酰胺的表达作为根治性前列腺切除术后复发的预测标志物
- DOI：
10.1620/tjem.252.1 - 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Sato Masahiko;Shimada Shuichi;Watanabe Mika;Kawasaki Yoshihide;Sato Tomonori;Morozumi Kento;Mitsuzuka Koji;Ito Akihiro - 通讯作者：
Ito Akihiro
Sato Masahiko的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Sato Masahiko', 18)}}的其他基金
The Martian magnetic field intensity estimation based on the magnetic properties of exsolved magnetite
基于出溶磁铁矿磁特性的火星磁场强度估算
- 批准号：
19K14777 - 财政年份：2019
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Deepening of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的深化
- 批准号：
17H01724 - 财政年份：2017
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Paleointensity experiment using zircon crystal sampled from river sand: toward reconstruction of magnetic field variation during last 4 Ga
使用从河沙中取样的锆石晶体进行的古强度实验：重建过去 4 Ga 期间的磁场变化
- 批准号：
26610142 - 财政年份：2014
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Construction of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的构建
- 批准号：
25280025 - 财政年份：2013
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
相似海外基金
数学の基礎における内包的概念と新しい内包論理の構築
在数学基础中构建内涵概念和新内涵逻辑
- 批准号：
22K00028 - 财政年份：2022
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
構成的理論における公理的真理理論の包括的研究
本构论中公理真理论的综合研究
- 批准号：
20J12361 - 财政年份：2020
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for JSPS Fellows
近似プログララムの計算論-古典論理の証明のテストにむけて-
近似程序的计算理论 - 走向测试经典逻辑的证明 -
- 批准号：
15700001 - 财政年份：2003
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
算術体系の無矛盾性証明におけるゲーデル解釈の論理的・数理哲学的研究
证明算术系统一致性的哥德尔解释的逻辑/数学哲学研究
- 批准号：
01J04474 - 财政年份：2001
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for JSPS Fellows