刷新
{{item.name}}会员
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
フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -
弗雷格哲学的现代意义——读野本一之《弗雷格哲学全集》——
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：上野哲平;小林夏野;秋光 純;佐藤雅彦
- 通讯作者：佐藤雅彦
Takeuti''s Finitism Revisited
重新审视 Takeuti 的有限主义
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：佐藤雅彦;Ryota Akiyoshi
- 通讯作者：Ryota Akiyoshi
A common notation system for the lambda calculus and combinatory logic
lambda 演算和组合逻辑的通用表示法系统
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：佐藤雅彦;Ryota Akiyoshi;Masahiko Sato;Masahiko Sato
- 通讯作者：Masahiko Sato
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
{{
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)
相似海外基金
独占禁止法における証明論の基礎理論とその応用―企業結合規制を主題として―
反垄断法中证明论的基本理论及其应用 - 聚焦企业合并规制 -
- 批准号：
24KJ0139 - 财政年份：2024
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for JSPS Fellows
証明論的手法による構成的逆数学の体系の分類
使用证明理论方法对构造逆数学系统进行分类
- 批准号：
24K06823 - 财政年份：2024
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
可算集合論の証明論的研究
可数集合论的证明理论研究
- 批准号：
24K06825 - 财政年份：2024
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
否定概念に着目した異なる論理の共存の証明論的研究
以否定概念为重点的不同逻辑共存的证明研究
- 批准号：
22KJ0108 - 财政年份：2023
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for JSPS Fellows
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
基于证明论和类型论的自然语言形式语义新框架
- 批准号：
21K00016 - 财政年份：2021
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
不確実な推論を含む論証の証明論的研究
涉及不确定推理的论证的证明理论研究
- 批准号：
19K00021 - 财政年份：2019
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
証明論的手法による論理定項の特徴づけ
使用证明理论方法表征逻辑常数
- 批准号：
18K00036 - 财政年份：2018
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ゲンツェンの証明論的手法を用いたブラウワーの知識論および言語論の再構築
用根岑的证明理论方法重建布劳尔的知识和语言学理论
- 批准号：
16J04925 - 财政年份：2016
- 资助金额：
$ 2.16万 - 项目类别：
Grant-in-Aid for JSPS Fellows