刷新
{{item.name}}会员
超 Lukasiewicz ]論理と超直観主義理論の研究
[Super Lukasiewicz] 逻辑与超直觉理论研究
基本信息
- 批准号：X00210----574084
- 负责人：
- 金额：$ 0.58万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份：1980
- 资助国家：日本
- 起止时间：1980 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
古森 雄一其他文献
Independent Axiom Systems of Minimal formulas for Classical Logic
经典逻辑最小公式的独立公理系统
- DOI：
- 发表时间：
2006 - 期刊：
- 影响因子：0
- 作者：
Masanori Itai;Kentaro Wakai;Akito Tsuboi;K.Fujita;J.Inoguchi;吉田 裕治;M.Takeda;稲葉 寿;古森 雄一 - 通讯作者：
古森 雄一
汎用システムとしての「ラムダ計算+論理」
“Lambda演算+逻辑”作为通用系统
- DOI：
- 发表时间：
2007 - 期刊：
- 影响因子：0
- 作者：
H.Nishiura;H.Inaba;Masahiro Shioya;塩谷 隆;吉田祐治(共著);古森 雄一 - 通讯作者：
古森 雄一
Note on real hypersurfaces of complex space forms with recurrent Ricci tensor
关于具有循环里奇张量的复杂空间形式的实超曲面的注记
- DOI：
- 发表时间：
2003 - 期刊：
- 影响因子：0
- 作者：
H.Nishiura;H.Inaba;Masahiro Shioya;塩谷 隆;吉田祐治(共著);古森 雄一;Makoto Katori;Jun-ichi Inoguchi;酒井政美;Hirotaka Kikyo;H.Inaba;塩谷 隆;Tatsuyoshi Hamada - 通讯作者：
Tatsuyoshi Hamada
Covering properties of invevst limits, II
投资限制的涵盖属性，II
- DOI：
- 发表时间：
2003 - 期刊：
- 影响因子：0
- 作者：
H.Nishiura;H.Inaba;Masahiro Shioya;塩谷 隆;吉田祐治(共著);古森 雄一;Makoto Katori;Jun-ichi Inoguchi;酒井政美;Hirotaka Kikyo;H.Inaba;塩谷 隆;Tatsuyoshi Hamada;蔵野正美(共著);Makoto Katori;Ryo Kashima;千葉慶子 - 通讯作者：
千葉慶子
古森 雄一的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('古森 雄一', 18)}}的其他基金
数理論理学と関連分野の研究
数理逻辑及相关领域研究
- 批准号：
07640295 - 财政年份：1995
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
構造に関する推論規則を持たない論理
没有关于结构的推理规则的逻辑
- 批准号：
59740101 - 财政年份：1984
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
超Tukasiewicz論理と超直観主義論理の研究
超图卡西维奇逻辑和超直觉逻辑研究
- 批准号：
X00210----474094 - 财政年份：1979
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
时空分辨核酸生物传感在亚细胞水平光电双模态精准测量
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
水凝胶改性陶瓷人工关节牢固结合界面的构筑与减磨润滑机理研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
锆酸铅基反铁电体畴动力学及其调控机理研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
USP7维持FADS2蛋白质稳态调控线粒体重编程驱动三阴性乳腺癌的转移
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
载铁生物炭对土壤镉污染的吸附固定及微生物协同作用机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
SREBP转录因子BbSre1负调控球孢白僵菌抗真菌物质产生的机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
面向截肢患者运动感知重建的肌电假肢手关节运动反馈时变编码研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
载鸢尾素层层自组装二氧化钛纳米管材料促进糖尿病骨缺损修复及机制研
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
多源数据融合的内外激励耦合下电驱动系统非平稳非高斯服役载荷谱高保
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
面向水质应急快检的碳点/微流控限域增强发光传感研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号：
2901954 - 财政年份：2028
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型，以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号：
2890513 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年，预计 2024 年 10 月
- 批准号：
2879865 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
$ 0.58万 - 项目类别：
Studentship