Rules in Logic
逻辑规则
基本信息
- 批准号:DP0984487
- 负责人:
- 金额:$ 13.85万
- 依托单位:
- 依托单位国家:澳大利亚
- 项目类别:Discovery Projects
- 财政年份:2009
- 资助国家:澳大利亚
- 起止时间:2009-03-29 至 2014-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Logic is a foundational discipline which supports work in philosophy and other intellectual fields. Communities and nations are enriched by research in logic even if there are no direct economic benefits. But, in Australia, which has been a world-leader in philosophical logic for the past thirty years, there are also more direct benefits. Continued foundational research in logic attracts international students to Australia, and enhances the international reputation of Australian universities. This research will contribute significantly to Australia's reputation for fundamental logical research.
逻辑是一门基础学科,支持哲学和其他知识领域的工作。即使没有直接的经济利益,社区和国家也会因逻辑研究而丰富。但是,在过去30年来一直是哲学逻辑世界领导者的澳大利亚,也有更直接的好处。持续的逻辑基础研究吸引了国际学生来到澳大利亚,并提高了澳大利亚大学的国际声誉。这项研究将大大有助于提高澳大利亚在基础逻辑研究方面的声誉。
项目成果
期刊论文数量(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 }}
Mr Lloyd Humberstone其他文献
Mr Lloyd Humberstone的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Mr Lloyd Humberstone', 18)}}的其他基金
Logical Theory and Sentence Composition -- A General and Comparative Study of the Principal Sentential Connectives
逻辑理论与句子构成--主要句子连接词的一般比较研究
- 批准号:
ARC : DP0208395 - 财政年份:2002
- 资助金额:
$ 13.85万 - 项目类别:
Discovery Projects
Logical Theory and Sentence Composition -- A General and Comparative Study of the Principal Sentential Connectives
逻辑理论与句子构成--主要句子连接词的一般比较研究
- 批准号:
DP0208395 - 财政年份:2002
- 资助金额:
$ 13.85万 - 项目类别:
Discovery Projects
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
相似海外基金
Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
- 批准号:
2343607 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Standard Grant
Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
- 批准号:
2401437 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Continuing Grant
CAREER: Next-generation Logic, Memory, and Agile Microwave Devices Enabled by Spin Phenomena in Emergent Quantum Materials
职业:由新兴量子材料中的自旋现象实现的下一代逻辑、存储器和敏捷微波器件
- 批准号:
2339723 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Continuing Grant
Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
合作研究:用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
- 批准号:
2343606 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
- 批准号:
2347294 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Standard Grant
RII Track-4:NSF: Introducing Quantum Logic Spectroscopy to Greater Southern Nevada as a Vital Quantum Control and Information Process Method
RII Track-4:NSF:将量子逻辑光谱作为重要的量子控制和信息处理方法引入内华达州南部
- 批准号:
2327247 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Standard Grant
2022BBSRC-NSF/BIO Generating New Network Analysis Tools for Elucidating the Functional Logic of 3D Vision Circuits of the Drosophila Brain
2022BBSRC-NSF/BIO 生成新的网络分析工具来阐明果蝇大脑 3D 视觉电路的功能逻辑
- 批准号:
BB/Y000234/1 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Research Grant
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行:2024 年逻辑辅导研讨会的学生旅行支持
- 批准号:
2408942 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Standard Grant
SHF: Small: Game Logic Programming
SHF:小:游戏逻辑编程
- 批准号:
2346619 - 财政年份:2024
- 资助金额:
$ 13.85万 - 项目类别:
Standard Grant