课题基金 / 基金详情

Proof theoretic and semantical study of Fregean Logic

Proof theoretic and semantical study of Fregean Logic
弗雷格逻辑的证明理论和语义研究
批准号：
16K13150
负责人：
Sato Masahiko
金额：
$2.16万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K13150/
关键词：
フレーゲ論理学証明論無矛盾性概念記法フレーゲ数理論理学型理論証明支援系

项目摘要

项目成果

Sato Masahiko的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
Gentle Introduction to the Omega-Rule: Part I
简单介绍欧米茄规则：第一部分
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [佐藤雅彦, Ryota Akiyoshi, Masahiko Sato, Masahiko Sato, Ryota Akiyoshi, Ryota Akiyoshi, Ryota Akiyoshi]
通讯作者： Ryota Akiyoshi
フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -
弗雷格哲学的现代意义——读野本一之《弗雷格哲学全集》——
DOI： --
发表时间： 2016
期刊： 科学哲学
影响因子： --
作者： [上野哲平, 小林夏野, 秋光 純, 佐藤雅彦]
通讯作者： 佐藤雅彦
Takeuti''s Finitism Revisited
重新审视 Takeuti 的有限主义
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [佐藤雅彦, Ryota Akiyoshi]
通讯作者： Ryota Akiyoshi
A common notation system for the lambda calculus and combinatory logic
lambda 演算和组合逻辑的通用表示法系统
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [佐藤雅彦, Ryota Akiyoshi, Masahiko Sato, Masahiko Sato]
通讯作者： Masahiko Sato
共 8 条
    The Martian magnetic field intensity estimation based on the magnetic properties of exsolved magnetite
    • 批准号：
      19K14777
    • 项目类别：
      Grant-in-Aid for Early-Career Scientists
    • 资助金额：
      $2.75万
    • 财政年份：
      2019
    • 负责人：
      Sato Masahiko
    • 依托单位：
      The University of Tokyo
    Deepening of a self-extendable software verification system based on class theory
    • 批准号：
      17H01724
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.65万
    • 财政年份：
      2017
    • 负责人：
      Sato Masahiko
    • 依托单位：
      Kyoto University
    Paleointensity experiment using zircon crystal sampled from river sand: toward reconstruction of magnetic field variation during last 4 Ga
    Construction of a self-extendable software verification system based on class theory
    • 批准号：
      25280025
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.23万
    • 财政年份：
      2013
    • 负责人：
      Sato Masahiko
    • 依托单位：
      Kyoto University
    海外基金